default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID12th ICSE 1990: Nice, France
- François-Régis Valette, Peter A. Freeman, Marie-Claude Gaudel:
Proceedings of the 12th International Conference on Software Engineering, Nice, France, March 26-30, 1990. IEEE Computer Society 1990, ISBN 0-8186-2026-9
Process Models 1
- Walter Royce:
TRW's Ada Process Model for Incremental Development of Large Software Systems. 2-11 - Ataru T. Nakagawa, Kokichi Futatsugi:
Software Process à la Algebra: OBJ for OBJ. 12-23
Formal Verification
- Sergio Cárdenas-García, Marvin V. Zelkowitz:
Evaluation Criteria for Functional Specifications. 26-33 - Christine Lafontaine, Yves Ledru, Pierre-Yves Schobbens:
An Experiment in Formal Software Development: Using the B Theorem Prover on a VDM Case Study. 34-42
Recent Advances in Metrics
- Victor R. Basili:
Recent Advances in Software Measurement (Abstract for Talk). 44-49
Real-Time and Reactive Systems
- Armen Gabrielian, Matthew K. Franklin:
Multi-Level Specification and Verification of Real-Time Software. 52-62 - H.-M. Järvinen, Reino Kurki-Suonio, Markku Sakkinen, Kari Systä:
Object-Oriented Specification of Reactive Systems. 63-71
Environments
- Jack C. Wileden, Alexander L. Wolf, William R. Rosenblatt, Peri L. Tarr:
Specification Level Interoperability. 74-85 - Jean-Louis Giavitto, Guy Rosuel, Agnès Devarenne, Anne Mauboussin:
Design Decisions for the Incremental Adage Framework. 86-95
Metrics and Reliability
- Masayuki Hirayama, Hiroyuki Sato, Atushi Yamada, Junichiro Tsuda:
Practice of Quality Modeling and Measurement on Software Life-Cycle. 98-107 - Willa K. Ehrlich, John P. Stampfel, Jar R. Wu:
Application of Software Reliability Modeling to Product Quality and Test Process. 108-116
Panel: Software-Re-Engineering
- Gilles M. E. Lafue:
Panel on Software Re-engineering. 118 - Wojtek Kozaczynski:
The "Catch 22" of Re-engineering. 119 - Ted J. Biggerstaff:
Human-Oriented Conceptual Abstractions in the Re-engineering of Software. 120 - Eric Bush:
Software Re-engineering Position Statement. 121 - Elliot J. Chikofsky:
CASE & Reengineering: From Archeology to Software Perestroika. 122 - Marco Maiocchi:
Reengineering: Can a Program Put Intelligence in Stupid Programs? 123-124
Experience Reports I
- Tom DeMarco, Curt Geertgens:
Use of Video for Program Documentation (Experience Report). 126-128 - Lin Zucconi, Gregory Mack, Lloyd G. Williams:
Using Object-Oriented Development for Support Prototyping (Experience Report). 129-132 - Marilyn W. Bush:
Getting Started on Metrics - JPL Productivity and Quality (Experience Report). 133-142
Tools for Formal Verification
- M. C. Costa, Jim Cunningham, J. Booth:
Logical Animation. 144-149 - Harald Ganzinger, Renate Schäfers:
System Support for Modular Order-Sorted Horn Clause Specifications. 150-159
Recent Advances in Object-Management Systems
Prototyping
- Heinz Oswald, Rob Esser, R. Mattmann:
An Environment for Specifying and Executing Hierarchical Petri Nets. 164-172 - Christine Choppy, Stéphane Kaplan:
Mixing Abstract and Concrete Modules: Specification, Development and Prototyping. 173-184
Experience Reports II
- Gérard D. Guiho, Claude Hennebert:
SACEM Software Validation (Experience Report). 186-191 - Mark Dowson:
Experience Using the Graphite Meta-Tool (Experience Report). 192-195 - Marilyn W. Bush:
Improving Software Quality: The Use of Formal Inspections at the JPL (Experience Report). 196-199
Design and Architecture
- Francesco Parisi-Presicce:
A Rule-Based Approach to Modular System Design. 202-211 - Murthy Ganti, Pankaj Goyal, Sunil Podar:
An Object-Oriented Software Application Architecture. 212-220
Panel: Real-Life Safety-Critical Software
- Jean-Claude Laprie:
On the Assessment of Safety-Critical Software Systems. 222 - Nancy G. Leveson:
Evaluation of Software Safety. 223-224 - Eric Pilaud:
Some Experiences of Critical Software Development. 225-226 - Martyn Thomas:
Assessing Failure Probabilities in Safety-Critical Systems Containing Software. 227
Workshop Reports
- Dewayne E. Perry:
ISPW5: Experience with Software Process Models (Workshop Report). 230-232 - Dan Craigen:
FM 89: Assessment of Formal Methods for Trustworthy Computer Systems (Workshop Report). 233-235
AI Applications to Software Engineering
- W. Lewis Johnson, Martin S. Feather:
Building an Evolution Transformation Library. 238-248 - Premkumar T. Devanbu, Ronald J. Brachman, Peter G. Selfridge, Bruce W. Ballard:
LaSSIE: a Knowledge-based Software Information System. 249-261
Panel: Industrial Experience with Formal Methods
- Dines Bjørner, Larry E. Druffel:
Position Statement: ICSE-12 Workshop on Industrial Experience Using Formal Methods. 264-266
Process Models 2
- William N. Robinson:
Negotiation Behavior During Requirements Specification. 268-276 - Nazim H. Madhavji, Volker Gruhn, Wolfgang Deiters, Wilhelm Schäfer:
Prism = Methodology + Process-oriented Environment. 277-288
Technology Transfer
- James D. Babcock, Laszlo A. Belady, Nancy C. Gore:
The Evolution of Technology Transfer at MCC's Software Technology Program: From Didactic to Dialectic. 290-299 - Rubén Prieto Díaz:
Implementing Faceted Classification for Software Reuse (Experience Report). 300-304
Systems Engineering
- David Talbot:
Towards Systems Engineering: A Personal View of Progress. 306-307
Configuration Management
- David B. Bernstein, Rodney Farrow:
Automatic Maintenance of Routine Programming Tasks Based on a Declarative Description (Experience Report). 310-315 - Thomas Rose, Matthias Jarke:
A Decision-Based Configuration Process Model. 316-325
Panel: Experience Using Defined Process for Technology Transfer
- Kurt F. Fischer:
Experience in Using Defined Processes for Technology Transfer (Panel Overview). 328 - Rosa Alonzo:
Position Paper on Technology Transfer. 329 - Maurizio Decina:
CEFRIEL: an Innovative Approach to University-Industry Cooperation in Information Technologies. 330-331 - Priscilla J. Fowler:
Technology Transfer as Collaboration: The Receptor Group. 332-333 - Garth Glynn:
Semi Formal Process Model for Technology Transfer. 334-335 - Kouichi Kishida:
Technology Transfer Aspects of Environment Construction. 336
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-10-31 20:23 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:
