default search action
3rd ESEC 1991: Milan, Italy
- Axel van Lamsweerde, Alfonso Fuggetta:
ESEC '91, 3rd European Software Engineering Conference, Milan, Italy, October 21-24, 1991, Proceedings. Lecture Notes in Computer Science 550, Springer 1991, ISBN 3-540-54742-8
Invited Papers
- Stuart I. Feldman:
Software Configuration Management: Past Uses and Future Challenges. 1-6 - Joëlle Coutaz:
Architectural Design for User Interfaces. 7-22 - Christer Fernström:
The Eureka Software Factory: Concepts and Accomplishments. 23-36
Formal Approaches
- Jeremy Dick, Jérôme Loubersac:
Integrating Structured and Formal Methods: A Visual Approach to VDM. 37-59 - Thierry Cattel:
Rational Design of Distributed Applications. 60-79
Experience With Formal Methods
- Pierre Dauchy, Bruno Marre:
Test Data Selection From Algebraic Specifications: Application to an Automatic Subway Module. 80-100 - Frank van der Linden:
Specification in COLD-1 of a CAD-Package for Drawing Shadow Masks. 101-121
Real-Time Systems I
- Carlo Ghezzi, Richard A. Kemmerer:
ASTRAL: An Assertion Language for Specifying Realtime Systems. 122-146 - Denis Creusot, Philippe Lemoine, Olivier F. Roux, Yvon Trinquet, Antonio Kung, Olivier Marbach, Carlos Serrano-Morales:
Execution Environment for ELECTRE Applications. 147-165
Real-Time Systems II
- Hermann Kopetz, Ralph Zainlinger, Gerhard Fohler
, Heinz Kantz, Peter P. Puschner
An Engineering Approach to Hard Real-Time System Design. 166-188 - Shinichi Honiden, Naoshi Uchihira
An Application of Artifical Intelligence to Prototyping Process in Performance Design for Real-time Systems. 189-209
Coping with Changes
- Jorge Amador, Belén de Vicente, Alejandro Alonso:
Dynamically Replaceable Software: A Design Method. 210-228 - Valdis Berzins:
Software Merge: Models and Methods for Combining Changes to Programs. 229-250
Software Re-Engineering
- Ben A. Sijtsma, Joseph W. L. J. Mager:
A Theory for Software Design Extraction. 251-265 - Alberto Coen-Porisini
SESADA: An Environment Supporting Software Specialization. 266-289
Metrics
- Richard W. Selby, R. Kent Madsen:
Metric-Driven Classification Analysis. 290-307 - Jeffrey M. Voas:
A Dynamic Failure Model for Predicting the Impact that a Program Location has on the Program. 308-331 - Ivan Rozman, József Györkös
Relation Between Source Code Metrics and Structure Analysis Metrics. 332-342
Formal Bases
- Martin J. Shepperd
Algebraic Validation of software Metrics. 343-363 - Francesco Parisi-Presicce, Alfonso Pierantonio
An Algebraic View of Inheritance and Subtyping in Object Oriented Programming. 364-379
Environments I
- Naser S. Barghouti, Gail E. Kaiser:
Scaling Up Rule-Based Software Development Environments. 380-395 - Gregor Snelting, Franz-Josef Grosch, Ulrik Schroeder
Inference-Based Support for Programming in the Large. 396-408
Environments II
- Tim Collins, Kevin Ewert, Colin Gerety, Jon Gustafson, Ian Thomas:
Tickle: Object-Oriented Description and Composition Services for Software Engineering Environments. 409-423 - Colin Tattersall:
Integrated Project Support Environments, Text Generation and Technical Writing. 424-442 - Dick Schefström:
The Arcs Experience. 443-464
Position Papers
Panel 1: Impact of Software Engineering Researches on Industrial Practice
- Alfonso Fuggetta:
Panel Presentation. 465-467 - Valente Frasca:
The Production of Software in the FINSIEL Group. 468-471 - Charles Jackson:
The Impact of Software Engineering Researches on Industrial Practice - a Personal View. 472-479 - Robert Troy:
Impact of Methods on Productivity and Quality. 480-484
Panel 2: Requirements Engineering: The Neats Versus the Scruffies
- Martin S. Feather:
Requirements Engineering - Getting Right from Wrong. 485-488 - Anthony Finkelstein:
A (Neat) Alphabet of Requirements Engineering Issues. 489-491 - Sol J. Greenspan:
The Scruffy Side of Requirements Engineering. 492-494 - Colin Potts:
Expediency and Appropriate Technology: An Agenda for Requirements Engineering Research in the 1990s. 495-496
Panel 3: CASE Support for the Software Process
- Peter Hruschka:
CASE Support for the Software Process. 497-498 - Jeff Kramer:
CASE Support for the Software Process: A Research Viewpoint. 499-503 - Dave Robinson:
CASE Support for Large Systems. 504-508 - Wolf E. Fischer:
CASE Seen From Both Sides of the Fence. 509-511 - Bernard Lang:
CASE Support for the Software Process: Advances and Problems. 512-515
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-12-22 19:07 CET 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: