ICSE 1990
51 papers
- A Decision-Based Configuration Process Model
- A Rule-Based Approach to Modular System Design
- An Environment for Specifying and Executing Hierarchical Petri Nets
- An Experiment in Formal Software Development: Using the B Theorem Prover on a VDM Case Study
- An Object-Oriented Software Application Architecture
- Application of Software Reliability Modeling to Product Quality and Test Process
- Assessing Failure Probabilities in Safety-Critical Systems Containing Software
- Automatic Maintenance of Routine Programming Tasks Based on a Declarative Description (Experience Report)
- Building an Evolution Transformation Library
- CASE & Reengineering: From Archeology to Software Perestroika
- CEFRIEL: an Innovative Approach to University-Industry Cooperation in Information Technologies
- Design Decisions for the Incremental Adage Framework
- Evaluation Criteria for Functional Specifications
- Evaluation of Software Safety
- Experience Using the Graphite Meta-Tool (Experience Report)
- Experience in Using Defined Processes for Technology Transfer (Panel Overview)
- FM 89: Assessment of Formal Methods for Trustworthy Computer Systems (Workshop Report)
- Getting Started on Metrics - JPL Productivity and Quality (Experience Report)
- Human-Oriented Conceptual Abstractions in the Re-engineering of Software
- ISPW5: Experience with Software Process Models (Workshop Report)
- Implementing Faceted Classification for Software Reuse (Experience Report)
- Improving Software Quality: The Use of Formal Inspections at the JPL (Experience Report)
- LaSSIE: a Knowledge-based Software Information System
- Logical Animation
- Mixing Abstract and Concrete Modules: Specification, Development and Prototyping
- Multi-Level Specification and Verification of Real-Time Software
- Negotiation Behavior During Requirements Specification
- Object-Oriented Specification of Reactive Systems
- On the Assessment of Safety-Critical Software Systems
- Panel on Software Re-engineering
- Position Paper on Technology Transfer
- Position Statement: ICSE-12 Workshop on Industrial Experience Using Formal Methods
- Practice of Quality Modeling and Measurement on Software Life-Cycle
- Prism = Methodology + Process-oriented Environment
- Recent Advances in Software Measurement (Abstract for Talk)
- Reengineering: Can a Program Put Intelligence in Stupid Programs?
- SACEM Software Validation (Experience Report)
- Semi Formal Process Model for Technology Transfer
- Software Process à la Algebra: OBJ for OBJ
- Software Re-engineering Position Statement
- Some Experiences of Critical Software Development
- Specification Level Interoperability
- System Support for Modular Order-Sorted Horn Clause Specifications
- TRW's Ada Process Model for Incremental Development of Large Software Systems
- Technology Transfer Aspects of Environment Construction
- Technology Transfer as Collaboration: The Receptor Group
- The "Catch 22" of Re-engineering
- The Evolution of Technology Transfer at MCC's Software Technology Program: From Didactic to Dialectic
- Towards Systems Engineering: A Personal View of Progress
- Use of Video for Program Documentation (Experience Report)
- Using Object-Oriented Development for Support Prototyping (Experience Report)