François-Régis Valette, Peter A. Freeman, Marie-Claude Gaudel
Proceedings of the 12th International Conference on Software Engineering
ICSE, 1990.

@proceedings{ICSE-1990,
	acmid         = "100296",
	address       = "Nice, France",
	editor        = "François-Régis Valette and Peter A. Freeman and Marie-Claude Gaudel",
	isbn          = "0-8186-2026-9",
	publisher     = "{IEEE Computer Society}",
	title         = "{Proceedings of the 12th International Conference on Software Engineering}",
	year          = 1990,
}

Contents (46 items)

10 ×#case study
9 ×#experience
8 ×#specification
5 ×#development
5 ×#process
5 ×#re-engineering
4 ×#quality
3 ×#metric
3 ×#named
3 ×#object-oriented

ICSE-1990-Royce #ada #development #incremental #process #scalability

TRW’s Ada Process Model for Incremental Development of Large Software Systems (WR), pp. 2–11.

ICSE-1990-NakagawaF #algebra #process

Software Process à la Algebra: OBJ for OBJ (ATN, KF), pp. 12–23.

ICSE-1990-Cardenas-GarciaZ #evaluation #functional #specification

Evaluation Criteria for Functional Specifications (SCG, MVZ), pp. 26–33.

ICSE-1990-LafontaineLS #case study #development #empirical #formal method #proving #theorem proving #using

An Experiment in Formal Software Development: Using the B Theorem Prover on a VDM Case Study (CL, YL, PYS), pp. 34–42.

ICSE-1990-Basili #metric

Recent Advances in Software Measurement (VRB), pp. 44–49.

ICSE-1990-GabrielianF #multi #realtime #specification #verification

Multi-Level Specification and Verification of Real-Time Software (AG, MKF), pp. 52–62.

ICSE-1990-JarvinenKSS #object-oriented #specification

Object-Oriented Specification of Reactive Systems (HMJ, RKS, MS, KS), pp. 63–71.

ICSE-1990-WiledenWRT #specification

Specification Level Interoperability (JCW, ALW, WRR, PLT), pp. 74–85.

ICSE-1990-GiavittoRDM #design #framework #incremental

Design Decisions for the Incremental Adage Framework (JLG, GR, AD, AM), pp. 86–95.

ICSE-1990-HirayamaSYT #lifecycle #metric #modelling #quality

Practice of Quality Modeling and Measurement on Software Life-Cycle (MH, HS, AY, JT), pp. 98–107.

ICSE-1990-EhrlichSW #modelling #process #quality #reliability #testing

Application of Software Reliability Modeling to Product Quality and Test Process (WKE, JPS, JRW), pp. 108–116.

ICSE-1990-Kozaczynski #re-engineering

The “Catch 22” of Re-engineering (WK), p. 119.

ICSE-1990-Biggerstaff #abstraction #concept #re-engineering

Human-Oriented Conceptual Abstractions in the Re-engineering of Software (TJB), p. 120.

ICSE-1990-Bush #re-engineering

Software Re-engineering Position Statement (EB), p. 121.

ICSE-1990-Chikofsky #automation #re-engineering

CASE & Reengineering: From Archeology to Software Perestroika (EJC), p. 122.

ICSE-1990-Maiocchi #named #question #re-engineering #source code

Reengineering: Can a Program Put Intelligence in Stupid Programs? (MM), pp. 123–124.

ICSE-1990-DeMarcoG #documentation #using #video

Use of Video for Program Documentation (TD, CG), pp. 126–128.

ICSE-1990-ZucconiMW #development #object-oriented #prototype #using

Using Object-Oriented Development for Support Prototyping (LZ, GM, LGW), pp. 129–132.

ICSE-1990-Bush90a #metric #quality

Getting Started on Metrics — JPL Productivity and Quality (MWB), pp. 133–142.

ICSE-1990-CostaCB #animation #logic

Logical Animation (MCC, JC, JB), pp. 144–149.

ICSE-1990-GanzingerS #composition #horn clause #order #specification

System Support for Modular Order-Sorted Horn Clause Specifications (HG, RS), pp. 150–159.

ICSE-1990-OswaldEM #petri net #specification

An Environment for Specifying and Executing Hierarchical Petri Nets (HO, RE, RM), pp. 164–172.

ICSE-1990-ChoppyK #development #prototype #specification

Mixing Abstract and Concrete Modules: Specification, Development and Prototyping (CC, SK), pp. 173–184.

ICSE-1990-GuihoH #validation

SACEM Software Validation (GDG, CH), pp. 186–191.

ICSE-1990-Dowson #experience #using

Experience Using the Graphite Meta-Tool (MD), pp. 192–195.

ICSE-1990-Bush90b #quality #using

Improving Software Quality: The Use of Formal Inspections at the JPL (MWB), pp. 196–199.

ICSE-1990-Parisi-Presicce #approach #composition #design #rule-based

A Rule-Based Approach to Modular System Design (FPP), pp. 202–211.

ICSE-1990-GantiGP #architecture #object-oriented

An Object-Oriented Software Application Architecture (MG, PG, SP), pp. 212–220.

ICSE-1990-Laprie #assessment #on the #safety

On the Assessment of Safety-Critical Software Systems (JCL), p. 222.

ICSE-1990-Leveson #evaluation #safety

Evaluation of Software Safety (NGL), pp. 223–224.

ICSE-1990-Pilaud #case study #development #experience

Some Experiences of Critical Software Development (EP), pp. 225–226.

ICSE-1990-Thomas #safety

Assessing Failure Probabilities in Safety-Critical Systems Containing Software (MT), p. 227.

ICSE-1990-JohnsonF #evolution #library

Building an Evolution Transformation Library (WLJ, MSF), pp. 238–248.

ICSE-1990-DevanbuBSB #information management #knowledge-based #named

LaSSIE: a Knowledge-based Software Information System (PTD, RJB, PGS, BWB), pp. 249–261.

ICSE-1990-Robinson #behaviour #requirements #specification

Negotiation Behavior During Requirements Specification (WNR), pp. 268–276.

ICSE-1990-MadhavjiGDS

Prism = Methodology + Process-oriented Environment (NHM, VG, WD, WS), pp. 277–288.

ICSE-1990-BabcockBG #evolution

The Evolution of Technology Transfer at MCC’s Software Technology Program: From Didactic to Dialectic (JDB, LAB, NCG), pp. 290–299.

ICSE-1990-Diaz #classification #implementation #reuse

Implementing Faceted Classification for Software Reuse (RPD), pp. 300–304.

ICSE-1990-Talbot #towards

Towards Systems Engineering: A Personal View of Progress (DT), pp. 306–307.

ICSE-1990-BernsteinF #automation #declarative #maintenance #programming

Automatic Maintenance of Routine Programming Tasks Based on a Declarative Description (DBB, RF), pp. 310–315.

ICSE-1990-RoseJ #process

A Decision-Based Configuration Process Model (TR, MJ), pp. 316–325.

ICSE-1990-Alonzo

Position Paper on Technology Transfer (RA), p. 329.

ICSE-1990-Decina #approach #named

CEFRIEL: an Innovative Approach to University-Industry Cooperation in Information Technologies (MD), pp. 330–331.

ICSE-1990-Fowler #collaboration

Technology Transfer as Collaboration: The Receptor Group (PJF), pp. 332–333.

ICSE-1990-Glynn #process

Semi Formal Process Model for Technology Transfer (GG), pp. 334–335.

ICSE-1990-Kishida #aspect-oriented

Technology Transfer Aspects of Environment Construction (KK), p. 336.