Fundamental approaches to software engineering : 6th international conference, FASE 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedings
محفوظ في:
| مؤلفون مشاركون: | , |
|---|---|
| مؤلفون آخرون: | |
| التنسيق: | Livre numérique |
| اللغة: | Anglais |
| منشور في: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| سلاسل: | Lecture notes in computer science
2621 |
| الموضوعات: | |
| الوصول للمادة أونلاين: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| ملاحظة: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Fundamental approaches to software engineering, 6th international conference, FASE 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, proceedings, Mauro Pezzè (ed.), Berlin, Springer, 2003, 1 vol. (XIV-402 p.), Lecture notes in computer science, 3-540-00899-3 • Fundamental Approaches to Software Engineering, Texte imprimé, 9783662165157 |
جدول المحتويات:
- Keynote
- Symbiosis of Static Analysis and Program Testing
- Software Components
- An Ontology for Software Component Matching
- A Description Language for Composable Components
- A Logical Basis for the Specification of Reconfigurable Component-Based Systems
- An Overall System Design Approach Doing Object-Oriented Modeling to Code-Generation for Embedded Electronic Systems
- Mobile Computing
- Composing Specifications of Event Based Applications
- A Spatio-Temporal Logic for the Specification and Refinement of Mobile Systems
- Spatial Security Policies for Mobile Agents in a Sentient Computing Environment
- Aspect and Object-Oriented Programming
- Towards UML-Based Formal Specifications of Component-Based Real-Time Software
- Modelling Recursive Calls with UML State Diagrams
- Pipa: A Behavioral Interface Specification Language for Aspect
- PacoSuite and JAsCo: A Visual Component Composition Environment with Advanced Aspect Separation Features
- Distributed and Web Applications
- Model-Based Development of Web Applications Using Graphical Reaction Rules
- Modular Analysis of Dataflow Process Networks
- Software Measurements
- Foundations of a Weak Measurement-Theoretic Approach to Software Measurement
- An Information-Based View of Representational Coupling in Object-Oriented Systems
- Formal Verification
- A Temporal Approach to Specification and Verification of Pointer Data-Structures
- A Program Logic for Handling Java Card s Transaction Mechanism
- Monad-Independent Hoare Logic in HASCASL
- Visual Specifications of Policies and Their Verification
- Analysis and Testing
- Automatic Model Driven Animation of SCR Specifications
- Probe Mechanism for Object-Oriented Software Testing
- Model Checking Software via Abstraction of Loop Transitions
- Model Integrationsand Extensions
- Integration of Formal Datatypes within State Diagrams
- Xere: Towards a Natural Interoperability between XML and ER Diagrams
- Detecting Implied Scenarios Analyzing Non-local Branching Choices
- Capturing Overlapping, Triggered, and Preemptive Collaborations Using MSCs.