Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID7th ESEC / 7th SIGSOFT FSE 1999: Toulouse, France
- Oscar Nierstrasz
, Michel Lemoine:
Software Engineering - ESEC/FSE'99, 7th European Software Engineering Conference, Held Jointly with the 7th ACM SIGSOFT Symposium on the Foundations of Software Engineering, Toulouse, France, September 1999, Proceedings. Lecture Notes in Computer Science 1687, Springer 1999, ISBN 3-540-66538-2
Invited Papers
- Kent L. Beck:
Extreme Programming: A Discipline of Software Development. 1 - Krzysztof Czarnecki, Ulrich W. Eisenecker:
Components and Generative Programming. 2-19
Software Components
- Manfred Hauswirth, Mehdi Jazayeri:
A Component and Communication Model for Push Systems. 20-38 - Cecilia Mascolo, Gian Pietro Picco, Gruia-Catalin Roman:
A Fine-Grained Model for Code Mobility. 39-56 - Vered Gafni:
Robots: A Real-Time Systems Architectural Style. 57-74
Software Process
- Brian Warboys, Dharini Balasubramaniam, Robert Mark Greenwood, Graham N. C. Kirby, Ken Mayes, Ronald Morrison, David S. Munro:
Collaboration and Composition: Issues for a Second Generation Process Language. 75-90 - Dirk Jäger, Ansgar Schleicher, Bernhard Westfechtel:
Using UML for Software Process Modeling. 91-108 - Frank Padberg:
A Probabilistic Model for Software Projects. 109-126
Specification
- Nancy G. Leveson, Mats Per Erik Heimdahl, Jon Damon Reese:
Designing Specification Languages for Process Control Systems: Lessons Learned and Steps to the Future. 127-145 - Angelo Gargantini, Constance L. Heitmeyer:
Using Model Checking to Generate Tests from Requirements Specifications. 146-162 - Jeffrey M. Thompson, Mats Per Erik Heimdahl, Steven P. Miller:
Specification-Based Prototyping for Embedded Systems. 163-179
Program Analysis
- Michael Siff, Satish Chandra, Thomas Ball, Krishna Kunchithapadam, Thomas W. Reps:
Coping with Type Casts in C. 180-198 - Donglin Liang, Mary Jean Harrold:
Efficient Points-to Analysis for Whole-Program Analysis. 199-215 - Thomas Ball:
The Concept of Dynamic Analysis. 216-234 - Atanas Rountev, Barbara G. Ryder, William Landi:
Data-Flow Analysis of Program Fragments. 235-252
Testing and Debugging
- Andreas Zeller:
Yesterday, My Program Worked. Today, It Does Not. Why? 253-267 - Clara Jaramillo, Rajiv Gupta, Mary Lou Soffa:
Comparison Checking: An Approach to Avoid Debugging of Optimized Code. 268-284 - Juei Chang, Debra J. Richardson:
Structural Specification-Based Testing: Automated Support and Experimental Evaluation. 285-302 - Tibor Gyimóthy, Árpád Beszédes, István Forgács:
An Efficient Relevant Slicing Method for Debugging. 303-321
Java
- Martin P. Robillard, Gail C. Murphy:
Analyzing Exception Flow in Java Programs. 322-327 - Gleb Naumovich, George S. Avrunin, Lori A. Clarke:
An Efficient Algorithm for Computing MHP Information for Concurrent Java Programs. 338-354 - Boris Bokowski:
CoffeeStrainer: Statically-Checked Constraints on the Definition and Use of Types in Java. 355-374
Architecture and Models
- Hugo Fierz:
The CIP Method: Component- and Model-Based Construction of Embedded Systems. 375-392 - Michel Wermelinger, José Luiz Fiadeiro:
Algebraic Software Architecture Reconfiguration. 393-409 - Pascal Fradet, Daniel Le Métayer, Michaël Périn:
Consistency Checking for Multiple View Software Architectures. 410-428
Reuse
- Stan Jarzabek, Peter Knauber:
Synergy between Component-Based and Generative Approaches. 429-445 - Joachim Bayer, Jean-Francois Girard, Martin Würthner, Jean-Marc DeBaud, Martin Apel:
Transitioning Legacy Assets to a Product Line Architecture. 446-463 - Stephen E. Dossick, Gail E. Kaiser:
CHIME: A Metadata-Based Distributed Software Development Environment. 464-475
Verification and Checking
- Gilles Grimaud, Jean-Louis Lanet, Jean-Jacques Vandewalle:
FACADE: A Typed Intermediate Language Dedicated to Smart Cards. 476-493 - Víctor A. Braberman, Miguel Felder:
Verification of Real-Time Designs: Combining Scheduling Theory with Automatic Formal Verification. 494-510 - Dimitra Giannakopoulou, Jeff Magee, Jeff Kramer:
Checking Progress with Action Priority: Is it Fair? 511-527
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-22 20:02 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
