default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSoftware Engineering Journal, Volume 8
Volume 8, Number 1, January 1993
- Richard E. Courtney, David A. Gustafson:
Shotgun correlations in software measures. 5-13 - Arthur H. M. ter Hofstede, E. R. Nieuwland:
Task structure semantics through process algebra. 14-20 - Hong Zhu, Patrick A. V. Hall:
Test data adequacy measurement. 21-29 - Agnes Kaposi, Ian Pyle
:
Systems are not only software. 31-39 - Claudio Nascimento, Jean Dollimore:
A model for co-operative object-orientated programming. 41-48
Volume 8, Number 2, March 1993
- Flaviu Cristian:
Automatic reconfiguration in the presence of failures. 53-60 - Hassan Gomaa:
A reuse-oriented approach for structuring and configuring distributed applications. 61-71 - Jeff Magee, Naranker Dulay, Jeff Kramer:
Structuring parallel and distributed programs. 73-82 - Mario R. Barbacci, Charles B. Weinstock, Dennis L. Doubleday, Michael J. Gardner, Randall W. Lichota:
Durra: a structure description language for developing distributed applications. 83-94 - Christine Hofmeister, Elizabeth L. White, James M. Purtilo:
Surgeon: a packager for dynamically reconfigurable distributed applications. 95-101 - Toby Bloom, Mark Day:
Reconfiguration and module replacement in Argus: theory and practice. 102-108
Volume 8, Number 3, May 1993
- Stephen Shum, Curtis R. Cook:
AOPS: an abstraction-oriented programming system for literate programming. 113-120 - Alan W. Brown:
Control integration through message-passing in a software development environment. 121-131 - Nigel Chapman, Maria Fox, Elpida Keravnou, Matthew Lee, Mark Levene, Derek Long, Peter Rounce, Ray Offen, Paul A. Samet, Russel L. Winder:
'Slick Systems' and 'Happy Hackers': experience with group projects at UCL. 132-136 - Todd Simpson, Graham M. Birtwistle, Brian T. Graham:
Towards a verified MiniSML/SECD system. 137-153 - Fabio Paternò:
A formal specification of appearance and behaviour of visual environments. 154-164 - Stephen J. Andriole, Peter A. Freeman:
Software systems engineering: the case of a new discipline. 165-179
Volume 8, Number 4, July 1993
- Hosam AboElFotoh, Osman Abou-Rabia, Hasan Ural:
A test generation algorithm for systems modelled as non-deterministic FSMs. 184-188 - Jonathan P. Bowen, Victoria Stavridou:
Safety-critical systems, formal methods and standards. 189-209 - Martin R. Woodward:
Errors in algebraic specifications and an experimental mutation testing tool. 211-224 - Steven J. Clarke, John Alexander McDermid:
Software fault trees and weakest preconditions: a comparison and analysis. 225-236 - Roberto Ierusalimschy:
A formal specification for a hierarchy of collections. 237-245
Volume 8, Number 5, September 1993
- Ronald E. Prather:
Hierarchical metrics and the prime generation problem. 246-252 - Jonathan P. Bowen, Peter T. Breuer, Kevin Lano:
A compendium of formal techniques for software maintenance. 253-262 - Zsolt Öry:
An integrating common framework for measuring cognitive software complexity. 263-272 - Andrew Charles Coombes, John A. McDermid:
Specifying temporal requirements for distributed real-time systems in Z. 273-283 - Neil C. Audsley, Alan Burns, Mike M. Richardson, Ken Tindell, Andy J. Wellings:
Applying new scheduling theory to static priority pre-emptive scheduling. 284-292
Volume 8, Number 6, November 1993
- Robert Lougher, Tom Rodden:
Group support for the recording and sharing of maintenance rationale. 295-306 - Ben R. Whittle, Mark B. Ratcliffe:
Software component interface description for reuse. 307-318 - A. Al-Janabi, E. Aspinwall:
An evaluation of software design using the DEMETER tool. 319-324 - Bryan Ratcliff, Maeve Boyle:
The PRESTIGE workbench: CASE support for the implementation phase of JSD. 325-337
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-02-05 20:36 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:
