default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSoftware Engineering Journal, Volume 5
Volume 5, Number 1, January 1990
- Martin J. Shepperd
:
Design metrics: an empirical analysis. 3-10 - A. A. Kaposi, M. Myers:
Quality assuring specification and design. 11-26 - Maria Teresa Mainini, Luc Billot:
PERFIDE: an environment for evaluation and monitoring of software reliability metrics during the test phase. 27-32 - Claes Wohlin, Ulf Körner:
Software faults: spreading, detection and costs. 33-42 - Stephen G. Linkman:
Quantitative monitoring of software development by time-based and intercheckpoint monitoring. 43-49 - Barbara A. Kitchenham, Lesley M. Pickard, Susan J. Linkman:
An evaluation of some design metrics. 50-58 - Francesca Saglietti:
Software diversity metrics quantifying dissimilarity in the input partition. 59-63 - Norman E. Fenton:
Software metrics: theory, tools and validation. 65-78 - Bryan Ratcliff, Anthony L. Rollo:
Adapting function point analysis to Jackson system development. 79-84
Volume 5, Number 2, March 1990
- Richard Bache, Monika Müllerburg:
Measures of testability as a basis for quality assurance. 86-92 - Andrew D. Hutcheon, Andy J. Wellings:
Specifying restrictions on imperative programming languages for use in a distributed embedded environment. 93-104 - Ray Welland, Stephen Beer, Ian Sommerville:
Method rule checking in a generic design editing system. 105-115 - Pericles Loucopoulos, R. E. M. Champion:
Concept acquisition and analysis for requirements specification. 116-124 - Stanislaw Jarzabek:
Specifying and generating multilanguage software development environments. 125-137 - David N. Wilson, Mark J. Sifer:
Structured planning: deriving project views. 138-148
Volume 5, Number 3, May 1990
- Adrian Colbrook, Colin Smythe:
Formal specification of data abstraction in FORTRAN 77: abstract arrays. 151-159 - Paula McGrath, Brendan Tangney:
Scrabble-a distributed application with an emphasis on continuity. 160-164 - D. McDermid:
The state dependency diagram. 165-173 - Robert G. Clark:
The design and development of embedded Ada systems. 175-184 - Edward Stewart Garnett, John A. Mariani:
Software reclamation. 185-191 - Gordon S. Blair, Javad Malik, John R. Nicol, Jonathan Walpole:
A synthesis of object-oriented and functional ideas in the design of a distributed software engineering environment. 193-204
Volume 5, Number 4, July 1990
- Dick Knowles:
Mapping a Mascot 3 design into Occam. 207-213 - D. Ross Jeffery, Graham C. Low:
Calibrating estimation tools for software development. 215-221 - Jacob Slonim, Michael A. Bauer:
The Information Utility: a project retrospective. 223-236 - Leland R. Dykes, Robert D. Cameron:
Towards high-level editing in syntax-based editors. 237-244
Volume 5, Number 5, September 1990
- Austin C. Melton, David A. Gustafson, James M. Bieman, Albert L. Baker:
A mathematical perspective for software measures research. 246-254 - Brian O'Donovan, Jane B. Grimson:
A distributed version control system for wide area networks. 255-262 - Michael Pilling, Alan Burns, Kerry Raymond:
Formal specifications and proofs of inheritance protocols for real-time scheduling. 263-279 - Robin A. Nicholl, Maurice Clint, David Gray, Tina M. Nicholl:
The use of functional annotations in verifying imperative programs. 280-288 - John F. DeSoi, Mark Lease, William M. Lively, Sallie V. Sheppard, Tom Slade:
A graphical environment for user-interface design and development. 289-299
Volume 5, Number 6, November 1990
- Vincenzo Ambriola, Lars Bendix, Paolo Ciancarini:
The evolution of configuration management and version control. 303-310 - Adriano Valenzano, Riccardo Sisto, Luigi Ciminiera:
An abstract execution model for basic LOTOS. 311-318 - Jacco H. Wesselius, Frans Ververs:
Some elementary questions on software quality control. 319-330 - Neil Haddley, Ian Sommerville:
Integrated support for systems design. 331-338 - Heloisa da Silva Facanha:
Data structures for physical representation of VLSI. 339-349 - Ole Andersen:
The use of software engineering data in support of project management. 350-356
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 2025-11-02 20:56 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:
