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
Process Support for Evolving Active Architectures / R. Mark Greenwood ; Dharini Balasubramaniam ; Sorana Cîmpan ; Graham N.C. Kirby ; Kath Mickan ; Ron Morrison ; Flavio Oquendo ; Ian Robertson ; Wykeen Seet ; Bob Snowdon ; Brian C. Warboys ; Evangelos Zirintsis
Providing Highly Automated and Generic Means for Software Deployment Process / Vincent Lestideau ; Noureddine Belkhatir
Flexible Static Semantic Checking Using First-Order Logic / Shimon Rura ; Barbara Lerner
A Compliant Environment for Enacting Evolvable Process Models / Brian Warboys
Position Paper
Decentralised Coordination for Software Process Enactment / Jun Yan ; Yun Yang ; Gitesh K. Raikundalia
Author Index
Invited Talk
Process Landscaping: From Software Process Modelling to Designing Mobile Business Processes / Volker Gruhn
Descriptions in Software Development / Michael Jackson
Metamodelling
A Metamodel for the Unified Modeling Language / Andrey Naumenko ; Alain Wegmann
Metamodeling Mathematics: A Precise and Visual Framework for Describing Semantics Domains of UML Models / Dániel Varró ; András Pataricza
A Radical Reduction of UML's Core Semantics / Friedrich Steimann ; Thomas Kühne
Applying the UML
Configuration Knowledge Representation Using UML/OCL / Alexander Felfernig ; Gerhard Friedrich ; Dietmar Jannach ; Markus Zanker
Using UML for Information Modeling in Industrial Systems with Multiple Hierarchies / Peter Fröhlich ; Zaijun Hu ; Manfred Schoelzke
Adapting the UML to Business Modelling's Needs - Experiences in Situational Method Engineering / Andreas Dietzsch
Digging into the Metamodel
Analysis of UML Stereotypes within the UML Metamodel / Martin Gogolla ; Brian Henderson-Sellers
Stereotypical Encounters of the Third Kind / Colin Atkinson
Digging into Use Case Relationships / Gonzalo Génova ; Juan Llorens ; Víctor Quintana
Experience with MDA
Practical Experiences in the Application of MDA / Miguel de Miguel ; Jean Jourdan ; Serge Salicki
Executable Design Models for a Pervasive Healthcare Middleware System / Jens Bæk Jørgensen ; Søren Christensen
Generating Code from UML with Velocity Templates / Thorsten Sturm ; Jesco von Voss ; Marko Boger
Invited Talk 2
Does Your Software Creak as It Runs? / Bran Selic
Real-Time & Formal Semantics
Integrating the Synchronous Paradigm into UML: Application to Control-Dominated Systems / Charles André ; Marie-Agnès Peraldi-Frati ; Jean-Paul Rigault
A UML Profile for Real-Time Constraints with the OCL / Stephan Flake ; Wolfgang Mueller
HOL-OCL: Experiences, Consequences and Design Choices / Achim D. Brucker ; Burkhart Wolff
Model Engineering 1
Consistency-Preserving Model Evolution through Transformations / Gregor Engels ; Reiko Heckel ; Jochen M. Küster ; Luuk Groenewegen
Transformations and Software Modeling Languages: Automating Transformations in UML / Jon Whittle
A Relational Approach to Defining Transformations in a Metamodel / David Akehurst ; Stuart Kent
Profiles
On Customizing the UML for Modeling Performance-Oriented Applications / Sabri Pllana ; Thomas Fahringer
Modelling QoS: Towards a UML Profile / Jan Øyvind Aagedal ; Earl F. Ecklund ; Jr.
Extending the UML for Multidimensional Modeling / Sergio Luján-Mora ; Juan Trujillo ; Il- Yeol Song
Model Engineering 2
A Metamodel for Package Extension with Renaming / Tony Clark ; Andy Evans
Applying MDA Concepts to Develop a Domain CORBA Facility for E-learning / Luis Anido ; Manuel Caeiro ; Judith Rodríguez ; Juan Santos
Rapid Development of Modular Dynamic Web Sites Using UML / Tim Schattkowsky ; Marc Lohmann
Invited Talk 3
Software, Heal Thyself! / David Garlan
Methodology
The Specification of UML Collaborations as Interaction Components / Eric Cariou ; Antoine Beugnard
Embedded Systems: Challenges in Specification and Verification / Amir Pnueli
An Approach to Designing Safe Embedded Software / Nancy G. Leveson
Can Behavioral Requirements Be Executed? (And Why Would We Want to Do So?) / David Harel
Platform-Based Embedded Software Design for Multi-vehicle Multi-modal Systems / T. John Koo ; Judith Liebman ; Cedric Ma ; Benjamin Horowitz ; Alberto Sangiovanni-Vincentelli ; Shankar Sastry
A Giotto-Based Helicopter Control System / Christoph M. Kirsch ; Marco A.A. Sanvido ; Thomas A. Henzinger ; Wolfgang Pree
Compositional Modeling in Metropolis / Gregor Gossler
Timed Interfaces / Luca de Alfaro ; Marielle Stoelinga
Description and Schedulability Analysis of the Software Architecture of an Automated Vehicle Control System / Stavros Tripakis
Formal Modeling and Analysis of Advanced Scheduling Features in an Avionics RTOS / Darren Cofer ; Murali Rangarajan
Scalable Applications for Energy-Aware Processors / Giorgio C. Buttazzo
Upgrading Embedded Software in the Field: Dependability and Survivability / Lui Sha
Real-Time Virtual Resource: A Timely Abstraction for Embedded Systems / Aloysius K. Mok ; Alex Xiang Feng
JCOD: A Lightweight Modular Compilation Technology for Embedded Java / Bertrand Delsart ; Vania Joloboff ; Eric Paire
Decreasing Memory Overhead in Hard Real-Time Garbage Collection / Tobias Ritzau ; Peter Fritzson
Speedup Prediction for Selective Compilation of Embedded Java Programs / Vincent Colin de Verdiere ; Sebastien Cros ; Christian Fabre ; Romain Guider ; Sergio Yovine
Synchronous Modelling of Asynchronous Systems / Nicolas Halbwachs ; Siwar Baghdadi
A Protocol for Loosely Time-Triggered Architectures / Albert Benveniste ; Paul Caspi ; Paul Le Guernic ; Herve Marchand ; Jean-Pierre Talpin
Automatic Production of Globally Asynchronous Locally Synchronous Systems / Alain Girault ; Clement Menier
Adaptive and Reflective Middleware for Distributed Real-Time and Embedded Systems / Douglas C. Schmidt
Toward an Approximation Theory for Computerised Control
A New Facility for Dynamic Control of Program Execution: DELI / Giuseppe Desoli ; Nikolay Mateev ; Evelyn Duesterwald ; Paolo Faraboschi ; Josh Fisher
Design Tools for Application Specific Embedded Processors / Wei Qin ; Subramanian Rajagopalan ; Manish Vachharajani ; Hangsheng Wang ; Xinping Zhu ; David August ; Kurt Keutzer ; Sharad Malik ; Li-Shiuan Peh
Processor Pipelines and Their Properties for Static WCET Analysis / Jakob Engblom ; Bengt Jonsson
ILP-Based Interprocedural Path Analysis / Henrik Theiling
Enhancing Compiler Techniques for Memory Energy Optimizations / Joseph Zambreno ; Mahmut Taylan Kandemir ; Alok Choudhary
FlexCC2: An Optimizing Retargetable C Compiler for DSP Processors / Valerie Bertin ; Jean-Marc Daveau ; Philippe Guillaume
Thierry Lepley, Denis Pilat, Claire Richard, Miguel Santana, and Thomas Thery Physical Programming: Beyond Mere Logic / Bran Selic
Processes, Interfaces and Platforms. Embedded Software Modeling in Metropolis / F. Balarin ; L. Lavagno ; C. Passerone ; Y. Watanabe
Author Index
Embedded Systems: Challenges in Specification and Verification / Amir Pnueli
An Approach to Designing Safe Embedded Software / Nancy G. Leveson
Can Behavioral Requirements Be Executed? (And Why Would We Want to Do So?) / David Harel
AGILE: Software Architecture for Mobility / L. Andrade ; P. Baldan ; H. Baumeister ; R. Bruni ; A. Corradini ; R. De Nicola ; J.L. Fiadeiro ; F. Gadducci ; S. Gnesi ; P. Hoffman ; N. Koch ; P. Kosiuczenko ; A. Lapadula ; D. Latella ; A. Lopes ; M. Loreti ; M. Massink ; F. Mazzanti ; U. Montanari ; C. Oliveira ; R. Pugliese ; A. Tarlecki ; M. Wermelinger ; M. Wirsing ; A. Zawlocki
A Coinductive Calculus of Component Connectors / F. Arbab ; J.J.M.M. Rutten
An Attempt at Analysing the Consistency Problems in the UML from a Classical Algebraic Viewpoint / E. Astesiano ; G. Reggio
MultiMedia Instruction in Safe and Secure Systems / B. Krieg-Bruckner ; D. Hutter ; A. Lindow ; C. Luth ; A. Mahnke ; E. Melis ; P. Meier ; A. Poetzsch-Heffter ; M. Roggenbach ; G. Russell ; J.-G. Smaus
Invited Non-technical Papers
Zero, Connected, Empty / R.A. Goguen ; J.A. Goguen
Zero, Connected, Empty: An Essay after a Cantata
Contributed Papers
Type Checking Parametrised Programs and Specifications in ASL+FPC / D. Aspinall
Pre-nets, Read Arcs and Unfolding: A Functorial Presentation
Coreflective Concurrent Semantics for Single-Pushout Graph Grammars / L. Ribeiro
Completeness Results for Fibred Parchments / C. Caleiro ; P. Gouveia ; J. Ramos
Use of Patterns in Formal Development: Systematic Transition from Problems to Architectural Designs / C. Choppy ; M. Heisel
Conditional Circular Coinductive Rewriting with Case Analysis / K. Lin ; G. Rosu
Algebraic Higher-Order Nets: Graphs and Petri Nets as Tokens / K. Hoffmann ; T. Mossakowski
The Coinductive Approach to Verifying Cryptographic Protocols / J. Hughes ; M. Warnier
Behavioural Equivalence and Indistinguishability in Higher-Order Typed Languages / S. Katsumata
Approach-Independent Structuring Concepts for Rule-Based Systems / H.-J. Kreowski ; S. Kuske
Notions of Behaviour and Reachable-Part and Their Institutions / A. Kurz
Combining Specification Formalisms in the `General Logic' of Multialgebras / Y. Lamo ; M. Walicki
On How Distribution and Mobility Interfere with Coordination
Foundations of Heterogeneous Specification
Algebraic-Coalgebraic Specification in CoCasl / H. Reichel ; L. Schroder
Translating Logics for Coalgebras / D. Pattinson
Presenting and Combining Inference Systems / W. Pawlowski
Monad-Independent Dynamic Logic in HasCasl / L. Schröder
Preserving Properties in System Redesign: Rule-Based Approach / M. Urbasek
Author Index
Invited Technical Papers
AGILE: Software Architecture for Mobility / L. Andrade ; P. Baldan ; H. Baumeister ; R. Bruni ; A. Corradini ; R. De Nicola ; J.L. Fiadeiro ; F. Gadducci ; S. Gnesi ; P. Hoffman ; N. Koch ; P. Kosiuczenko ; A. Lapadula ; D. Latella ; A. Lopes ; M. Loreti ; M. Massink ; F. Mazzanti ; U. Montanari ; C. Oliveira ; R. Pugliese ; A. Tarlecki ; M. Wermelinger ; M. Wirsing ; A. Zawlocki
A Coinductive Calculus of Component Connectors / F. Arbab ; J.J.M.M. Rutten
An Automata Based Interpretation of Live Sequence Charts|CJ. Klose|CH. Wittke
Logics and Model-Checking
Coverage Metrics for Temporal Logic Model Checking|CH. Chockler|CO. Kupferman|CM. Y. Vardi
Parallel Model Checking for the Alternation Free $$-Calculus|CB. Bollig / CM. Leucker ; M. Weber
Model Checking CTL*[DC] / P.K. Pandya
ETAPS Tool Demonstration
CPN/Tools: A Tool for Editing and Simulating Coloured Petri Nets ETAPS Tool Demonstration Related to TACAS / M. Beaudomn-Lafon ; W.E. Mackay ; M. Jensen ; P. Andersen ; P. Janecek ; M. Lassen ; K. Lund ; K. Mortensen ; S. Munck ; A. Ratzer ; K. Ravn ; K. Jensen
The ASM Workbench: A Tool Environment for Computer-Aided Analysis and Validation of Abstract State Machine Models / G. Del Castillo
The Erlang Verification Tool / T. Noll ; L. Fredlund ; D. Gurov
Author Index
Invited Contributions
Branching vs. Linear Time: Final Showdown / M.Y. Vardi
The PIE Methodology - Concept and Application / P.-Y. Cunin ; R.M. Greenwood ; L. Francou ; I. Robertson ; B. Warboys
Reflection and Reification in Process System Evolution: Experience and Opportunity / D. Balasubramaniam ; G. Kirby ; K. Mayes ; R. Morrison ; W. Seet ; E. Zirintsis
Monitoring Software Process Interactions: A Logic-Based Approach / I. Alloui ; S. Cimpan ; F. Oquendo
Experiences with Behavioural Process Modelling in FEAST, and Some of Its Practical Implications / M.M. Lehman ; J.F. Ramil ; G. Kahen
Software Process Technology Transfer: Using a Formal Process Notation to Capture a Software Process in Industry / U. Becker-Kornstaedt ; H. Neu ; G. Hirche
An Evaluation of the Spearmint Approach to Software Process Modelling / L. Scott ; L. Carvalho ; R. Jeffery ; J. D'Ambra
A Software Process for an Integrated Electronic Commerce Portal System / V. Gruhn ; L. Schöpe
A Mobile Agent Approach to Process-Based Dynamic Adaptation of Complex Software Systems / G. Valetto ; G. Kaiser ; G.S. Kc
Process Support for Mobile Work across Heterogeneous Systems / A.I. Wang ; L. Chunnian
A Delegation Based Model for Distributed Software Process Management / S. Becker ; D. Jäger ; A. Schleicher ; B. Westfechtel
Applying Real-Time Scheduling Techniques to Software Processes: A Position Paper / A.G. Cass ; L.J. Osterweil
Building Expressive and Flexible Process Models Using an UML-Based Approach / J.M. Ribó ; X. Franch
Describing Process Patterns with UML (Position Paper) / H. Störrle
Towards a Living Software Development Process Based on Process Patterns / M. Gnatz ; F. Marschall ; G. Popp ; A. Rausch ; W. Schwerin
Modeling a Support Framework for Dynamic Organizations as a Process Pattern Using UML / J. Sa
A Taxonomy to Compare SPI Frameworks / C.P. Halvorsen ; R. Conradi
Configuration Management Culture as the Kernel to Success in Software Process Improvement Efforts / T.C. Green ; K.M. Anderson
Reporting about the Mod Software Process / G.A. Cignoni
Author Index
Web Services and Their Composition / F. Leymann
The PIE Methodology - Concept and Application / P.-Y. Cunin ; R.M. Greenwood ; L. Francou ; I. Robertson ; B. Warboys
Reflection and Reification in Process System Evolution: Experience and Opportunity / D. Balasubramaniam ; G. Kirby ; K. Mayes ; R. Morrison ; W. Seet ; E. Zirintsis
Automated Boundary Testing from Z and B / Bruno Legeard ; Fabien Peureux ; Mark Utting
Improvements in Coverability Analysis / Gil Ratsaby ; Baruch Sterin ; Shmuel Ur
Heuristic-Driven Test Case Selection from Formal Specifications. A Case Study / Juan C. Burguillo-Rial ; Manuel J. Fernandez-Iglesias ; Francisco J. González-Castaño ; MartÃn Llamas-Nistal
UniTesK Test Suite Architecture / Igor B. Bourdonov ; Alexander S. Kossatchev ; Victor V. Kuliamin ; Alexander K. Petrenko
Hoare Logicfor NanoJava: Auxiliary Variables, Side Effects, and Virtual Methods Revisited / David von Oheimb ; Tobias Nipkow
Do Not Read This / Juan C. Bicarregui
Safeness of Make-Based Incremental Recompilation / Niels Jørgensen
An AlgorithmicApproach to Design Exploration / Sharon Barner ; Shoham Ben-David ; Anna Gringauze ; Yaron Wolfsthal
Verifying Erlang Code: A Resource Locker Case-Study / Alexandre Mota ; Paulo Borba ; Augusto Sampaio ; Thomas Arts ; Clara Benac Earle ; John Derrick
Towards an Integrated Model Checker for Railway Signalling Data / Michael Huber ; Steve King
Correctness by Construction: Integrating Formality into a Commercial Development Process / Anthony Hall
VAlloy - Virtual Functions Meet a Relational Language / Darko Marinov ; Sarfraz Khurshid
Verification Using Test Generation Techniques / Vlad Rusu
Formal Specification and Static Checking of GemplusÆ Electronic Purse Using ESC/Java / Nestor Catano ; Marieke Huisman
Development of an Embedded Verifier for Java Card Byte Code Using Formal Methods / Ludovic Casset
Deriving Cryptographically Sound Implementations Using Composition and Formally Verified Bisimulation / Michael Backes ; Christian Jacobi ; Birgit Pfitzmann
Interference Analysis for Dependable Systems Using Refinement and Abstraction / Claus Pahl
The Formal Classification and Verification of SimpsonÆs 4-Slot Asynchronous Communication Mechanism / N. Henderson ; S.E. Paynter
Timing Analysis of Assembler Code Control-Flow Paths / C.J. Fidge
Towards OCL/RT / MarÃa Victoria Cengarle ; Alexander Knapp
On Combining Functional Verification and Performance Evaluation Using CADP / Hubert Garavel ; Holger Hermanns
The Next 700 Synthesis Calculi / David Basin
Synthesizing Certified Code / Michael Whalen ; Johann Schumann ; Bernd Fischer
Refinement in Circus / Jim Woodcock ; Ana Cavalcanti
Forward Simulation for Data Refinement of Classes / David A. Naumann
A Formal Basis for a Program Compilation Proof Tool / Luke Wildman
Property Dependent Abstraction of Control Structure for Software Verification / Thomas Firley ; Ursula Goltz
Closing Open SDL-Systems for Model Checking with DTSpin / Natalia Ioustinova ; Natalia Sidorova ; Martin Steffen
A Generalised Sweep-Line Method for Safety Properties / Lars Michael Kristensen ; Thomas Mailund
Supplementing a UML Development Process with B / Helen Treharne
SemanticWeb for Extending and Linking Formalisms / Jin Song Dong ; Jing Sun ; Hai Wang
A Language for Describing Wireless Mobile Applications with DynamicEstablishment of Multi-way Synchronization Channels / Takaaki Umedu ; Yoshiki Terashima ; Keiichi Yasumoto ; Akio Nakata ; Teruo Higashino ; Kenichi Taniguchi
Author Index
Little Engines of Proof / Natarajan Shankar
Automated Boundary Testing from Z and B / Bruno Legeard ; Fabien Peureux ; Mark Utting
Improvements in Coverability Analysis / Gil Ratsaby ; Baruch Sterin ; Shmuel Ur
Reformulation: A Way to Combine Dynamic Properties and B Refinement / F. Bellegarde ; C. Darlot ; J. Julliand ; O. Kouchnarenko
Mechanized Analysis of Behavioral Conformance in the Eiffel Base Libraries / Steffen Helke ; Thomas Santen
Proofs of Correctness of Cache-Coherence Protocols / Joseph Stoy ; Xiaowei Shen ; Arvind
Model-Checking Over Multi-valued Logics / Marsha Chechik ; Steve Easterbrook ; Victor Petrovykh
How to Make FDR Spin: LTL Model Checking of CSP by Refinement / Michael Leuschel ; Thierry Massart ; Andrew Currie
Avoiding State Explosion for Distributed Systems with Timestamps / Fabrice Derepas ; Paul Gastin ; David Plainfossé
Secrecy-Preserving Refinement / Jan JÜrjens
Information Flow Control and Applications - Bridging a Gap - / Heiko Mantel
A Rigorous Approach to Modeling and Analyzing E-Commerce Architectures / Vasu S. Alagar ; Zheng Xi
A Formal Model for Reasoning about Adaptive QoS-Enabled Middleware / Nalini Venkatasubramanian ; Carolyn Talcott ; Gul Agha
A Programming Model for Wide-Area Computing / Jayadev Misra
A Formal Model of Object-Oriented Design and GoF Design Patterns / Andres Flores ; Richard Moore ; Luis Reynoso
Validation of UML Models Thanks to Z and Lustre / Sophie Dupuy-Chessa ; Lydie du Bousquet
Components, Contracts, and Connectors for the Unified Modelling Language UML / Claus Pahl
An Integrated Approach to Specification and Validation of Real-Time Systems / Adnan Sherif ; Augusto Sampaio ; Sergio Cavalcante
Real-Time Logic Revisited / Stephen E. Paynter
Improvements in BDD-Based Reachability Analysis of Timed Automata / Dirk Beyer
Serialising Parallel Processes in a Hardware/Software Partitioning Context / Leila Silva ; Geraint Jones
Verifying Implementation Relations / Jonathan Burton ; Maciej Koutny ; Giuseppe Pappalardo
An Adequate Logic for Full LOTOS / Muffy Calder ; Savi Maharaj ; Carron Shankland
Towards a Topos Theoretic Foundation for the Irish School of Constructive Mathematics (Mc) / M'icheal Mac an Airchinnigh
Faithful Translations among Models and Specifications / Shmuel Katz
Composing Contracts: An Adventure in Financial Engineering / Simon Peyton Jones
From Complex Specifications to a Working Prototype. A Protocol Engineering Case Study / Manuel J. Fernández Iglesias ; Francisco J. González-Castaño ; José M. Pousada Carballo ; Mart'in Llamas Nistal ; Alberto Romero Feijoo
Coverage Directed Generation of System-Level Test Cases for the Validation of a DSP System / Laurent Arditi ; Hédi Boufa¿ied ; Arnaud Cavanié ; Vincent Stehlé
Using Formal Verification Techniques to Reduce Simulation and Test Effort / O. Laurent ; P. Michel ; V. Wiels
Transacted Memory for Smart Cards / Pieter H. Hartel ; Michael J. Butler ; Eduard de Jong ; Mark Longley
Houdini, an Annotation Assistant for ESC/Java / Cormac Flanagan ; K. Rustan M. Leino
A Heuristic for Symmetry Reductions with Scalarsets / Dragan BoÜnački ; Dennis Dams ; Leszek Holenderski
View Updatability Based on the Models of a Formal Specification / Michael Johnson ; Robert Rosebrugh
Grammar Adaptation / Ralf Lammel
Test-Case Calculation through Abstraction / Bernhard K. Aichernig
A Modular Approach to the Specification and Validation of an Electrical Flight Control System / M. Doche ; I. Vernier-Mounier ; F. Kordon
A Combined Testing and Verification Approach for Software Reliability / Natasha Sharygina ; Doron Peled
Author Index
Lightweight Formal Methods / Daniel Jackson
Reformulation: A Way to Combine Dynamic Properties and B Refinement / F. Bellegarde ; C. Darlot ; J. Julliand ; O. Kouchnarenko
Mechanized Analysis of Behavioral Conformance in the Eiffel Base Libraries / Steffen Helke ; Thomas Santen
ACM SIGPLAN--SIGSOFT Workshop on Program Analysis for Software Tools and Engineering ; European Software Engineering Conference ; ACM SIGSOFT Symposium on the Foundations of Software Engineering ; ACM Special Interest Group in Programming Languages ; Association for Computing Machinery
出版情報:
New York, N.Y. : Association for Computing Machinery, c2005 114 p. ; 28 cm
Workshop on Aspects, Components, and Patterns for Infrastructure Software ; International Conference on Aspect-Oriented Software Development ; Spinczyk, Olaf ; Südholt, Mario ; Gibbs, Celina
出版情報:
New York, N.Y. : Association for Computing Machinery, c2007 66 p. ; 28 cm
event sponsors, Thought Works (Title Sponsor) ... [et al.] ; media sponsors, Cutter Consortium, Software Development Magazine ; in cooperation with, ACM SigSoft, AITO, IEEE
出版情報:
Los Alamitos, Calif. : IEEE Computer Society, c2003 viii, 165 p. ; 28 cm
YP and Urban Simulation: Applying an Agile Programming Methodology in a Politically Tempestuous Domain / B. Freeman-Benson ; A. Borning
XP Culture: Why the Twelve Practices Both Are and Are Not the Most Significant Thing / H. Robinson ; H. Sharp
Parfait: Towards a Framework-Based Agile Reengineering Process / M. Cagnin ; J. Maldonado ; F. Germano ; R. Penteado
Observations on Balancing Discipline and Agility / B. Boehm ; R. Turner
Finding a Place for Discount Usability Engineering in Agile Development: Throwing Down the Gauntlet / D. Kane
Test Driven Development and the Scientific Method / R. Mugridge
Experience Reports
Change Your Organization (For Peons) / J. Little
Evolving Agile in the Enterprise: Implementing XP on a Grand Scale / M. Spayd
Improving the Interface between Business and Product Development Using Agile Practices and the Cycles of Control Framework / J. Vanhanen ; J. Itkonen ; P. Sulonen
It's More Than Just Toys and Food: Leading Agile Development in an Enterprise-Class Start-Up / J. Blotner
Retrofitting an Acceptance Test Framework for Clarity / E. Tempero
"Ready-to-Roll" Boxcar Development--A Flexible, Quality-Weighted Process / R. Hill
Iteration Advocate/Iteration Transition Meeting: Small Sampling of New Agile Techniques Used at a Major Telecommunications Firm / B. Boelsterli
Making Agile Software Development Work in a Government Contracting Environment: Measuring Velocity with Earned Value / G. Alleman ; M. Henderson ; R. Seggelke
Certifying for CMM Level 2 and ISO9001 with XPScrum / C. Vriens
Agile Development in the Old Economy / G. Derbier
Introducing Agile Development into Bioinformatics: An Experience Report
Agile Development and Remote Teams: Learning to Love the Phone / C. Sepulveda
Unfixing the Fixed Scope Project: Using Agile Methodologies to Create Flexibility in Project Scope / J. Patton
An Agile Request for Proposal Process (RFP) Process / J. Andrea
Daily Iterations: Approaching Code Freeze and Half the Team Is Not Agile / C. Cooley
The Embedded Systems Design Challenge / Thomas A. Henzinger ; Joseph Sifakis
Interactive Verification
The Mondex Challenge: Machine Checked Proofs for an Electronic Purse / Gerhard Schellhorn ; Holger Grandy ; Dominik Haneberg ; Wolfgang Reif
Interactive Verification of Medical Guidelines / Jonathan Schmitt ; Alwin Hoffmann ; Michael Balser ; Mar Marcos
Certifying Airport Security Regulations Using the Focal Environment / David Delahaye ; Jean-Frederic Etienne ; Veronique Viguie Donzeau-Gouge
Proving Safety Properties of an Aircraft Landing Protocol Using I/O Automata and the PVS Theorem Prover: A Case Study / Shinya Umeno ; Nancy Lynch
Validating the Microsoft Hypervisor / Ernie Cohen
Formal Modelling of Systems
Interface Input/Output Automata / Kim G. Larsen ; Ulrik Nyman ; Andrzej Wasowski
Properties of Behavioural Model Merging / Greg Brunet ; Marsha Chechik ; Sebastian Uchitel
Automatic Translation from Circus to Java / Angela Freitas ; Ana Lucia Caneca Cavalcanti
Quantitative Refinement and Model Checking for the Analysis of Probabilistic Systems / Annabelle K. McIver
Real Time
Modeling and Validating Distributed Embedded Real-Time Systems with VDM++ / Marcel Verhoef ; Peter Gorm Larsen ; Jozef Hooman
Towards Modularized Verification of Distributed Time-Triggered Systems / Jewgenij Botaschanjan ; Alexander Gruler ; Alexander Harhurin ; Leonid Kof ; Maria Spichkova ; David Trachtenherz
Industrial Experience
A Story About Formal Methods Adoption by a Railway Signaling Manufacturer / Stefano Bacherini ; Alessandro Fantechi ; Matteo Tempestini ; Niccolo Zingoni
Partially Introducing Formal Methods into Object-Oriented Development: Case Studies Using a Metrics-Driven Approach / Yujun Zheng ; Jinquan Wang ; Kan Wang ; Jinyun Xue
Specification and Refinement
Compositional Class Refinement in Object-Z / Tim McComb ; Graeme Smith
A Proposal for Records in Event-B / Neil Evans ; Michael Butler
Pointfree Factorization of Operation Refinement / Jose Nuno Oliveira ; Cesar Jesus Rodrigues
A Formal Template Language Enabling Metaproof / Nuno Amalio ; Susan Stepney ; Fiona Polack
Programming Languages
Dynamic Frames: Support for Framing, Dependencies and Sharing Without Restrictions (Best Paper) / Ioannis T. Kassios
Type-Safe Two-Level Data Transformation / Alcino Cunha ; Joost Visser
Algebra
Feature Algebra / Peter Hofner ; Ridha Khedri ; Bernhard Moller
Education
Using Domain-Independent Problems for Introducing Formal Methods / Raymond Boute
Compositional Binding in Network Domains / Pamela Zave
Formal Modeling of Communication Protocols by Graph Transformation / Zarrin Langari ; Richard Trefler
Feature Specification and Static Analysis for interaction Resolution / Marc Aiguier ; Karim Berkani ; Pascale Le Gall
A Fully General Operational Semantics for UML 2.0 Sequence Diagrams with Potential and Mandatory Choice / Mass Soldal Lund ; Ketil Stolen
Formal Aspects of Java
Towards Automatic Exception Safety Verification / Xin Li ; H. James Hoover ; Piotr Rudnicki
Automated Boundary Test Generation from JML Specifications / Fabrice Bouquet ; Frederic Dadeau ; Bruno Legeard
Formal Reasoning About Non-atomic Java Card Methods in Dynamic Logic / Wojciech Mostowski
Formal Verification of a C Compiler Front-End / Sandrine Blazy ; Zaynah Dargaye ; Xavier Leroy
A Memory Model Sensitive Checker for C# / Thuan Quang Huynh ; Abhik Roychoudhury
Changing Programs Correctly: Refactoring with Specifications / Fabian Bannwart ; Peter Muller
Mechanical Verification of Recursive Procedures Manipulating Pointers Using Separation Logic / Viorel Preoteasa
Model Checking
Model-Based Variable and Transition Orderings for Efficient Symbolic Model Checking / Wendy Johnston ; Kirsten Winter ; Lionel van den Berg ; Paul Strooper ; Peter Robinson
Exact and Approximate Strategies for Symmetry Reduction in Model Checking / Alastair F. Donaldson ; Alice Miller
Monitoring Distributed Controllers: When an Efficient LTL Algorithm on Sequences Is Needed to Model-Check Traces / Alexandre Genon ; Thierry Massart ; Cedric Meuter
PSL Model Checking and Run-Time Verification Via Testers / Amir Pnueli ; Aleksandr Zaks
Industry Day: Abstracts of Invited Talks
Formal Methods for Security: Lightweight Plug-In or New Engineering Discipline / Werner Stephan
Formal Methods in the Security Business: Exotic Flowers Thriving in an Expanding Niche / David von Oheimb
International Workshop on Systems Development in SOA Environments ; International Conference on Software Engineering ; Association for Computing Machinery
出版情報:
New York : Association for Computing Machinery, c2008 80 p. ; 28 cm