Software engineering - ESEC-FSE'99 7th European software engineering conference held jointly with the 7thACM SIGSOFT symposium on the foundations of software engineering, Toulouse, France, September 6-10, 1999 ; proceedings
For the second time, the European Software Engineering Conference is being held jointly with the ACM SIGSOFT Symposium on the Foundations of Software Engine- ing (FSE). Although the two conferences have different origins and traditions, there is a significant overlap in intent and subject matter. Ho...
| Autor principal: | |
|---|---|
| Autor Corporativo: | |
| Otros Autores: | , |
| Formato: | Libro electrónico |
| Idioma: | Inglés |
| Publicado: |
Berlin, Heidelberg :
Springer
[1999]
|
| Edición: | 1st ed. 1999. |
| Colección: | Lecture notes in computer science ;
1687. |
| Materias: | |
| Ver en Biblioteca Universitat Ramon Llull: | https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009714028606719 |
Tabla de Contenidos:
- Extreme Programming: A Discipline of Software Development
- Components and Generative Programming
- A Component and Communication Model for Push Systems
- A Fine-Grained Model for Code Mobility
- Robots: A Real-Time Systems Architectural Style
- Collaboration and Composition: Issues for a Second Generation Process Language
- Using UML for Software Process Modeling
- A Probabilistic Model for Software Projects
- Designing Specification Languages for Process Control Systems: Lessons Learned and Steps to the Future?
- Using Model Checking to Generate Tests from Requirements Specifications
- Specification-Based Prototyping for Embedded Systems’
- Coping with Type Casts in C
- Efficient Points-to Analysis for Whole-Program Analysis
- The Concept of Dynamic Analysis
- Data-Flow Analysis of Program Fragments
- Yesterday, my Program Worked. Today, it Does Not. Why?
- Comparison Checking: An Approach to Avoid Debugging of Optimized Code
- Structural Specification-Based Testing: Automated Support and Experimental Evaluation
- An Efficient Relevant Slicing Method for Debugging
- Analyzing Exception Flow in Java™ Programs
- An Efficient Algorithm for Computing MHP Information for Concurrent Java Programs
- CoffeeStrainer: Statically-Checked Constraints on the Definition and Use of Types in Java
- The CIP Method: Component- and Model-Based Construction of Embedded Systems
- Algebraic Software Architecture Reconfiguration
- Consistency Checking for Multiple View Software Architectures
- Synergy Between Component-Based and Generative Approaches
- Transitioning Legacy Assets to a Product Line Architecture
- CHIME: A Metadata-Based Distributed Software Development Environment
- FACADE: A Typed Intermediate Language Dedicated to Smart Cards
- Verification of Real-Time Designs: Combining Scheduling Theory with Automatic Formal Verification
- Checking Progress with Action Priority: Is it Fair?.
