|
" Software engineering "
Oscar Nierstrasz, Michel Lemoine (eds.).
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
604545
|
| Doc. No
|
:
|
b433764
|
| Main Entry
|
:
|
ESEC/FSE (Conference)(1999 :, Toulouse, France)
|
| Title & Author
|
:
|
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 /\ Oscar Nierstrasz, Michel Lemoine (eds.).
|
| Publication Statement
|
:
|
Berlin ;London :: Springer,, 1999.
|
| Series Statement
|
:
|
Lecture notes in computer science,; 1687
|
| Page. NO
|
:
|
xii, 527 p. :: ill. ;; 24 cm.
|
| ISBN
|
:
|
3540665382
|
|
|
:
|
: 9783540665380
|
| Bibliographies/Indexes
|
:
|
Includes bibliographical references.
|
| Contents
|
:
|
Extreme programming: a discipline of software development (invited paper) (abstract only) / Kent Beck -- Components and generative programming (invited paper) / Krzysztof Czarnecki, Ulrich W. Eisenecker -- A component and communication model for push systems / Manfred Hauswirth, Mehdi Jazayeri -- A fine-grained model for code mobility / Cecilia Mascolo, Gian Pietro Picco, Gruia-Catalin Roman -- Robots: a real-time systems architectural style / Vered Gafni -- Collaboration and composition: issues for a second generation process language / B.C. Warboys ... [et al.] -- Using UML for software process modeling / Dirk Jäger, Ansgar Schleicher, Bernhard Westfechtel -- A probabilistic model for software projects / Frank Padberg -- Designing specification languages for process control systems: lessons learned and steps to the future / Nancy G. Leveson, Mats P. E. Heimdahl, Jon Damon Reese -- Using model checking to generate tests from requirements specifications / Angelo Gargantini, Constance Heitmeyer -- Specification-based prototyping for embedded systems / Jeffrey M. Thompson, Mats P. E. Heimdahl, Steven P. Miller -- Coping with type casts in C / Michael Siff ... [et al.] -- Efficient points-to analysis for whole-program analysis / Donglin Liang, Mary Jean Harrold -- The concept of dynamic analysis / Thoms Bell -- Data-flow analysis of program fragments / Atanas Rountev, Barbara G. Ryder, William Landi -- Yesterday, my program worked. Today, it does not. Why? / Andreas Zeller -- Comparison checking: an approach to avoid debugging of optimized code / Clara Jaramillo, Rajiv Gupta, Mary Lou Soffa -- Structural specification-based testing: automated support and experimental evaluation / Juei Chang, Debra J. Richardson -- An efficient relevant slicing method for debugging / Tibor Gyimóthy, Árpád Beszédes, Istán Forgács -- Analyzing exception flow in Java programs / Martin P. Robillard, Gail C. Murphy -- An efficient algorithm for computing MHP information for concurrent Java programs / Gleb Naumovich, George S. Avrunin, Lori A. Clarke -- CoffeeStrainer: statically-checked constraints on the definition and use of types in Java / Boris Bokowski -- The CIP method: component- and model-based construction of embedded systems Hugo Fierz Pages: 375 - 392 Full text available: Pdf(1.29 MB) Additional Information: full citation, abstract, references, index terms Algebraic software architecture reconfiguration Michel Wermelinger, José Luiz Fiadeiro Pages: 393 - 409 Full text available: Pdf(1.31 MB) Additional Information: full citation, abstract, references, cited by, index terms Consistency checking for multiple view software architectures Pascal Fradet, Daniel Le Métayer, Michaël Périn Pages: 410 - 428 Full text available: Pdf(1.36 MB) Additional Information: full citation, abstract, references, cited by, index terms Synergy between component-based and generative approaches Stan Jarzabek, Peter Knauber Pages: 429 - 445 Full text available: Pdf(1.35 MB) Additional Information: full citation, abstract, references, cited by, index terms Transitioning legacy assets to a product line architecture Joachim Bayer, Jean-François Girard, Martin Würthner, Jean-Marc DeBaud, Martin Apel Pages: 446 - 463 Full text available: Pdf(1.36 MB) Additional Information: full citation, abstract, references, cited by, index terms CHIME: a metadata-based distributed software development environment Stephen E. Dossick, Gail E. Kaiser Pages: 464 - 475 Full text available: Pdf(940 KB) Additional Information: full citation, abstract, references, cited by, index terms FACADE: a typed intermediate language dedicated to smart cards Gilles Grimaud, Jean-Louis Lanet, Jean-Jacques Vandewalle Pages: 476 - 493 Full text available: Pdf(1.23 MB) Additional Information: full citation, abstract, references, cited by, index terms Verification of real-time designs: combining scheduling theory with automatic formal verification Victor A. Braberman, Miguel Felder Pages: 494 - 510 Full text available: Pdf(1.20 MB) Additional Information: full citation, abstract, references, cited by, index terms Checking progress with action priority: is it fair? / Dimitra Giannakopoulou, Jeff Magee, Jeff Kramer.
|
| Subject
|
:
|
Software engineering, Congresses.
|
| Added Entry
|
:
|
Nierstrasz, Oscar Marius,1957-
|
|
|
:
|
Lemoine, Michel,1947-
|
| Added Entry
|
:
|
ACM SIGSOFT Symposium on Foundations of Software Engineering(7th :1999 :, Toulouse, France)
|
| |