Type(s) de contenu et mode(s) de consultation : Texte noté : électronique

Auteur(s) : FASE 2001 (2001 ; Genoa, Italy)  Voir les notices liées en tant qu'auteur

Titre(s) : Fundamental approaches to software engineering [Texte électronique] : 4th International Conference, FASE 2001 held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings / Heinrich Hussmann (ed.)

Publication : Berlin ; New York : Springer, cop. 2001

Description matérielle : 1 online resource (xiii, 347 pages)

Collection : Lecture notes in computer science ; 2029

Note(s) : Includes bibliographical references and index
English.
This book constitutes the refereed proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering, FASE 2001, held in Genova, Italy in April 2001. The 22 revised full papers presented were carefully reviewed and selected from a total of 74 submissions. The papers are organized in topical sections on metamodeling, distributed components, UML, testing, formal methods, and case studies

Autre(s) auteur(s) : Hussmann, Heinrich (1959-2022). Fonction indéterminée  Voir les notices liées en tant qu'auteur
ETAPS Conference (4 ; 2001 ; Genoa, Italy). Fonction indéterminée  Voir les notices liées en tant qu'auteur

Sujet(s) : Génie logiciel  Voir les notices liées en tant que sujet
Informatique  Voir les notices liées en tant que sujet
Langages de programmation  Voir les notices liées en tant que sujet

Indice(s) Dewey :  005.1 (23e éd.) = Développement de logiciels  Voir les notices liées en tant que sujet

Identifiants, prix et caractéristiques : ISBN 9783540453147 . - ISBN 9783642288722

Identifiant de la notice  : ark:/12148/cb44725193z

Notice n° :  FRBNF44725193 (notice reprise d'un réservoir extérieur)

Table des matières : Invited Paper ; Physical Programming: Beyond Mere Logic ; Metamodelling ; Metamodelling and Conformance Checking with PVS ; The Metamodelling Language Calculus: Foundation Semantics for UML ; Distributed Components ; Compositional Checking of Communication among Observers ; Combining Independent Specifications ; Proving Deadlock Freedom in Component-Based Programming ; UML ; A Real-Time Execution Semantics for UML Activity Diagrams ; A CSP View on UML-RT Structure Diagrams ; Strengthening UML Collaboration Diagrams by State Transformations ; Specification of Mixed Systems in Korrigan with the Support of a UML-Inspired Graphical Notation ; On Use Cases and Their Relationships in the Unified Modelling Language ; On the Importance of Inter-scenario Relationships in Hierarchical State Machine Design ; Towards a Rigorous Semantics of UML Supporting Its Multiview Approach ; Towards Development of Secure Systems Using UMLsec ; Testing ; Grammar Testing ; Debugging via R