![](https://dblp.uni-trier.de./img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de./img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de./img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de./img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de./img/search.dark.16x16.png)
default search action
12th 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
![](https://dblp.uni-trier.de./img/cog.dark.24x24.png)
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.