Mary Lou Padgett, Thomas Lindbald, chairs/editors ; sponsoring societies, the Society for Computer Simulation International, NASA--National Aeronautics and Space Administration ; cooperating, SPIE--the International Society of Optical Engineering, INNS--the International Neural Networks Society, the IEEE Neural Networks Council
出版情報:
Bellingham, Wash. : SPIE, c1996 ix, 598 p. ; 28 cm
Architecture and Design of Component-Based Systems
Exogenous Connectors for Software Components / Kung-Kiu Lau ; Perla Velasco Elizondo ; Zheng Wang
Qinna, a Component-Based QoS Architecture / Jean-Charles Tournier ; Jean-Philippe Babau ; Vincent Olive
Architecture Based Deployment of Large-Scale Component Based Systems: The Tool and Principles / Ling Lan ; Gang Huang ; Liya Ma ; Meng Wang ; Hong Mei ; Long Zhang ; Ying Chen
An Empirical Study on the Specification and Selection of Components Using Fuzzy Logic / Kendra Cooper ; João W. Cangussu ; Rong Lin ; Ganesan Sankaranarayanan ; Ragouramane Soundararadjane ; Eric Wong
Finding a Needle in the Haystack: A Technique for Ranking Matches Between Components / Naiyana Tansalarak ; Kajal Claypool
Extra-Functional System Properties of Components and Component-Based Systems
A Contracting System for Hierarchical Components / Philippe Collet ; Roger Rousseau ; Thierry Coupaye ; Nicolas Rivierre
Tailored Responsibility Within Component-Based Systems / Elke Franz ; Ute Wappler
Efficient Upgrading in a Purely Functional Component Deployment Model / Eelco Dolstra
Real-Time Scheduling Techniques for Implementation Synthesis from Component-Based Software Models / Zonghua Gu ; Zhimin He
A Component-Oriented Model for the Design of Safe Multi-threaded Applications / Reimer Behrends ; R.E. Kurt Stirewalt ; Laura K. Dillon
TeStor: Deriving Test Sequences from Model-Based Specifications / Patrizio Pelliccione ; Henry Muccini ; Antonio Bucchiarone ; Fabrizio Facchini
Experience with Component-Based Development of a Telecommunication Service / Gregory W. Bond ; Eric Cheung ; Healfdene H. Goguen ; Karrie J. Hanson ; Don Henderson ; Gerald M. Karam ; K. Hal Purdy ; Thomas M. Smith ; Pamela Zave
Reusable Dialog Component Framework for Rapid Voice Application Development / Rahul P. Akolkar ; Tanveer Faruquie ; Juan Huerta ; Pankaj Kankar ; Nitendra Rajput ; T.V. Raman ; Raghavendra U. Udupa ; Abhishek Verma
Unlocking the Grid / Chris A. Mattmann ; Nenad Medvidovic ; Paul M. Ramirez ; Vladimir Jakobac
Experience Report: Design and Implementation of a Component-Based Protection Architecture for ASP.NET Web Services / Konstantin Beznosov
Concept Index
Author Index
Prediction, Analysis and Monitoring of System Architecture
Performance Prediction of J2EE Applications Using Messaging Protocols / Yan Liu ; Ian Gorton
EJBMemProf - A Memory Profiling Framework for Enterprise JavaBeans / Marcus Meyerhöfer ; Bernhard Volz
On the Construction of Automata from Linear Arithmetic Constraints / Pierre Wolper ; Bernard Boigelot
Software and Formal Methods Tools
An Extensible Type Systemfor Component-Based Design / Yuhong Xiong ; Edward A. Lee
Proof General: A Generic Tool for Proof Development / David Aspinall
ViewPoint-Oriented Software Development: Tool Support for Integrating Multiple Perspectives by Distributed Graph Transformation / Michael Goedicke ; Bettina Enders ; Torsten Meyer ; Gabriele Taentzer
Formal Methods Tools
Consistent Integration of Formal Methods / Peter Braun ; Heiko Lötzbeyer ; Bernhard Schätz ; Oscar Slotosch
An Architecture for Interactive Program Provers / Jörg Meyer ; Arnd Poetzsch-Heffter
The PROSPER Toolkit / Louise A. Dennis ; Graham Collins ; Michael Norrish ; Richard Boulton ; Konrad Slind ; Graham Robinson ; Mike Gordon ; Tom Melham
CASL: From Semantics to Tools / Till Mossakowski
Timed and Hybrid Systems
On the Construction of Live Timed Systems / Sébastien Bornot ; Gregor Gößler ; Joseph Sifakis
On Memory-Block Traversal Problems in Model-Checking Timed Systems / Fredrik Larsson ; Paul Pettersson ; Wang Yi
Symbolic Model Checking for Rectangular Hybrid Systems / Thomas A. Henzinger ; Rupak Majumdar
Efficient Data Structure for Fully Symbolic Verification of Real-Time Software Systems / Farn Wang
Infinite and Parameterized Systems
Verification of Parameterized Systems Using Logic Program Transformations / Abhik Roychoudhury ; K. Narayan Kumar ; C.R. Ramakrishnan ; I. V. Ramakrishnan ; Scott A. Smolka
Abstracting WS1S Systems to Verify Parameterized Networks / Kai Baukus ; Saddek Bensalem ; Yassine Lakhnech ; Karsten Stahl
FMona: A Tool for Expressing Validation Techniques over Infinite State Systems / J.-P. Bodeveix ; M. Filali
Transitive Closures of Regular Relations for Verifying Infinite-State Systems / Bengt Jonsson ; Marcus Nilsson
Diagnostic and Test Generation
Using Static Analysis to Improve Automatic Test Generation / Marius Bozga ; Jean-Claude Fernandez ; Lucian Ghirvu
Efficient Diagnostic Generation for Boolean Equation Systems / Radu Mateescu
Efficient Model-Checking
Compositional State Space Generation with Partial Order Reductions for Asynchronous Communicating Systems / Jean-Pierre Krimm ; Laurent Mounier
Checking for CFFD-Preorder with Tester Processes / Juhana Helovuo ; Antti Valmari
Fair Bisimulation / Sriram K. Rajamani
Integrating Low Level Symmetries into Reachability Analysis / Karsten Schmidt
Model-Checking Tools
Model Checking Support for the ASM High-Level Language / Giuseppe Del Castillo ; Kirsten Winter
A Markov Chain Model Checker / Holger Hermanns ; Joost-Pieter Katoen ; Joachim Meyer-Kayser ; Markus Siegle
Model Checking SDL with Spin / Dragan Bošnački ; Dennis Dams ; Leszek Holenderski ; Natalia Sidorova
Salsa: Combining Constraint Solvers with BDDs for Automatic Invariant Checking / Ramesh Bharadwaj ; Steve Sims
Symbolic Model-Checking
Symbolic Model Checking of Probabilistic Processes Using MTBDDs and the Kronecker Representation / Luca de Alfaro ; Marta Kwiatkowska ; Gethin Norman ; David Parker ; Roberto Segala
Symbolic Reachability Analysis Based on SAT-Solvers / Parosh Aziz Abdulla ; Per Bjesse ; Niklas Eén
Symbolic Representation of Upward-Closed Sets / Giorgio Delzanno ; Jean-François Raskin
BDD vs. Constraint-Based Model Checking: An Experimental Evaluation for Asynchronous Concurrent Systems / Tevfik Bultan
Visual Tools
Tool-Based Specification of Visual Languages and Graphic Editors / Magnus Niemann ; Roswitha Bardohl
VIP: A Visual Editor and Compiler for v-Promela / Moataz Kamel ; Stefan Leue
Verification of Critical Systems
A Comparison of Two Verification Methods for Speculative Instruction Execution / Tamarah Arons ; Amir Pnueli
Partial Order Reductions for Security Protocol Verification / Edmund Clarke ; Somesh Jha ; Will Marrero
Model Checking Security Protocols Using a Logic of Belief / Massimo Benerecetti ; Fausto Giunchiglia
A Formal Specification and Validation of a Critical System in Presence of Byzantine Errors / S. Gnesi ; D. Latella ; G. Lenzini ; C. Abbaneo ; A. Amendola ; P. Marmo
Author Index
Invited Contribution
On the Construction of Automata from Linear Arithmetic Constraints / Pierre Wolper ; Bernard Boigelot
edited by E. Nahouraii ; sponsored by IEEE Computer Society Technical Council on Software Engineering ; in cooperation with Software Engineering Institute, Carnegie Mellon University
出版情報:
Los Alamitos, Calif. : IEEE Computer Society, c1997 x, 149 p. ; 28 cm
A Principled Approach to Supporting Adaptation in Distributed Mobile Environments / G. Blair ; G. Coulson ; A. Andersen ; L. Blair ; M. Clarke ; F. Costa ; H. Duran ; N. Parlavantzas ; K. Saikoski
A Skeleton-Based Approach for the Design and Implementation of Distributed Virtual Environments / F. Rabhi ; H. Cai ; B. Tompsett
Specifying and Verifying Reconfigurable Software Architectures / V. de Paula ; G. Justo ; P. Cunha
Dynamic Reconfiguration of Component-Based Applications / T. Batista ; N. Rodriguez
Applying Distributed Object Technology to Network Planning / T. Wessels ; J. Bishop
Dynamic Workflow Management in CORBA Distributed Object Systems / Z. Tari ; V. Pande
Design of a Virtual Store Using Distributed Object Technology / D. Chambers ; G. Lyons ; J. Duggan
A CORBA-Based Architecture for Adding Dependability to Legacy Servers / D. Cotroneo ; L. Romano ; S. Russo ; N. Mazzocca
Filtering and Scalability in the ECO Distributed Event Model / M. Haahr ; R. Meier ; P. Nixon ; V. Cahill ; E. Jul
Scalability Issues in CORBA / P. Rani ; A. Srinivas ; D. Ram
Formalization and Verification of Coherence Protocols with the Gamma Framework / D. Mentre ; D. Le Metayer ; T. Priol
A CSP Model for Java Multihreading / P. Welch ; J. Martin
A CORBA-Based Object Group Service and a Join Service Providing a Transparent Solution for Parallel Programming / M. Aleksy ; A. Korthaus
Performance Debugging of Parallel and Distributed Embedded Systems / F. Suarez ; D. Garcia ; J. Garcia
Early Evaluation of Design Options for Distributed Systems / H. Giese ; G. Wirtz
Implementation of an Intrusion Detection System Based on Mobile Agents / M. Bernares ; E. dos Santos Moreira
A Formalism for Hierarchical Mobile Agents / I. Satoh
Component Location and the Role of Trading in Large Scale Distributed Systems / S. Terzis
HERCULE: Monitoring Component-Based Application Activity and Enabling Post-Implementation Tailoring of Feedback / K. Renaud
Exploratory Visualization of Distributed Computations: A Case Study / N. Gupta ; E. Kraemer ; D. Hart ; M. Chinwala ; D. Miller
Introduction / H. Obbink ; P.C. Clements ; F.J. van der Linden
Example Architectures
Reusable Framework for Telecontrol Protocols / W. Scherlis ; J. Kuusela ; G. Cysewski ; T. Gromadzki ; H. Lyskawa ; M. Piechowka ; S. Szejko ; W.E. Kozlowski ; O. VahamakiSession 1:
A Software Bus as a Platform for a Family of Distibuted Embedded System Products / E. Niemel&a¨ ; H. Perunka ; T. Korpip&a¨&a¨
A Three-Tier Design Approach for a Family of Large AC Drive Control Systems / P. Kolb ; B. Huber
Modular Turbine Control Software: A Software Architecture for the ABB Gas Turbine Family Control System / C. Ganz ; M. Layes
Experiences with the Evolution of an Application Family Architecture / A. R&o¨sel
Architectural Description
Generic Architecture Descriptions for Product Lines / D.E. Perry ; J. KramerSession 2:
A Model of Interaction in Concurrent and Distributed Systems / N. Pryce ; S. Crane
An Integral Hierarchy and Diversity Model for Describing Product Family Architecture / P. van de Hamer ; A. Saunders ; H. te Sligte
Koala, a Component Model for Consumer Electronics Product Software / R. van Ommering
Architecture Recovery
Recovery of Architectural Structure: A Case Study / J.-M.DeBaud ; M. Jazayeri ; W. Eixelsberger ; M. Kalan ; M. Ogris ; H. Beckman ; B. Bellay ; H. GallSession 3:
Reengineering C/C++ Source Code by Transforming State Machines / R. Knor ; G. Trausmuth ; J. Weidl
An Experiment in Distributed Software Architecture Recovery / N.C. Mendonca
Reverse Engineering to Recover and Describe a System's Architecture
Can Legacy Systems Beget Product Lines? / N. Weiderman ; J. Bergey ; D. Smith ; S. Tilley
The Relation Between the Product Line Development Entry Points and Reengineering / J.-M. DeBaud ; J.-F. Girard
Analysis of Software Architectures
Diagnostic Software Architectures / J.A. de la Puente ; R.T. BechtoldSession 4:
A Software Architecture Evaluation Model / J.C. Dueñas ; W.L. de Oliveira
An Architectural Infrastructure for Product Families / R. Balzer
Assessment of Timing Properties of Family Products / A. Alonso ; M. Garcia-Valls ; J. de la Puente
Development Process
Stakeholders in Software-system Family Architectures / D.M. Weiss ; T. Dolan ; R. Weterings ; J.C. WortmannSession 5:
Handling Variant Requirements in Software Architectures for Product Families / C.C. Yu ; A.L. Ananda ; S. Jarzabek
Architecture-Centric Software Development Based on Extended Design Spaces / L. Baum ; L. Geyer ; G. Molter ; S. Rothkugel ; P. Sturm
Architecting for Domain Variability / J. Meekel ; T.B. Horton ; C. Mellone
Commonality Analysis: A Systematic Process for Defining Families
Structuring Design Decisions for Evolution / A. Karhinen
Structural Views, Structural Evolution, and Product Families / W.L. Scherlis
Product Family and Reuse in Separate Market Driven Profit Centers / J. Brouwer ; A. Jurriens ; H. van Kessel ; A. Schippers
ERW'97 Session Report: Reuse Adoption Experiences Across a Large Corporation / S. Bandinelli
Author Index
Introduction / H. Obbink ; P.C. Clements ; F.J. van der Linden
Example Architectures
Reusable Framework for Telecontrol Protocols / W. Scherlis ; J. Kuusela ; G. Cysewski ; T. Gromadzki ; H. Lyskawa ; M. Piechowka ; S. Szejko ; W.E. Kozlowski ; O. VahamakiSession 1:
edited by O. Frieder and J. Wigglesworth ; sponsored by the IEEE Computer Society Technical Council on Software Engineering in cooperation with the University of Toronto
出版情報:
Los Alamitos, Calif. : IEEE Computer Society Press, c1996 xii, 147 p. ; 28 cm
Mark Dowson, editor ; sponsored by Rocky Mountain Institute of Software Engineering in cooperation with Institute of Electrical and Electronics Engineers ... [et al.]
出版情報:
Los Alamitos, Calif. : IEEE Computer Society Press, c1991 viii, 234 p. ; 28 cm
International Joint Conference on Theory and Practice of Software Development ; Díaz, Josep, 1950- ; Orejas, Fernando ; Advanced Seminar on Foundations of Innovative Software Development ; Colloquium on Trees in Algebra and Programming
出版情報:
Berlin ; Tokyo : Springer-Verlag, c1989 x, 383 p. ; 25 cm