default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSoftware Engineering Journal, Volume 3
Volume 3, Number 1, January 1988
- Cliff B. Jones:
Theorem proving and software engineering. - Peter A. Lindsay:
A survey of mechanical support for formal reasoning. 3-27
Volume 3, Number 2, March 1988
- Martin J. Shepperd
:
A critique of cyclomatic complexity as a software metric. 30-36 - Thomas F. Lunney, Ronald H. Perrott:
Syntax-directed editing. 37-46 - Peter T. Wilkinson, J. A. Bouchard, B. A. Byrne, Michael A. Hennell, P. Jackson, G. O'Neill, Graeme I. P. Parkin, Brian A. Wichmann:
A prototype system for the validation of Pascal programs. 47-52 - Darrel C. Ince, Sharam Hekmatpour:
An approach to automated software design based on product metrics. 53-56 - Eli Naphtali, Michael Rich:
Some practical considerations regarding an ADT-obsessed design. 57-63 - Danny Crookes:
Translation as a language implementation technique for supercomputers. 64-68 - Mike Holcombe:
X-machines as a basis for dynamic system specification. 69-76
Volume 3, Number 3, May 1988
- L. A. Crutcher, M. H. Barton:
Implementing SDL in occam. 78-85 - Jeff Kramer, Keng Ng, Colin Potts, Ken Whitehead:
Tool support for requirements analysis. 86-96 - D. L. Clutterbuck, B. A. Carré:
The verification of low-level code. 97-111
Volume 3, Number 4, July 1988
- David W. Bustard, Mark T. Norris, Rodney A. Orr:
A pictorial approach to the animation of process-oriented formal specifications. 114-118 - Peter Robinson, Mick Jordan:
A programming environment for Modula-2. 119-126 - Stef Joosten:
Functional system specification. 127-133 - David N. Wilson, Mark J. Sifer:
Structured planning-project views. 134-140
Volume 3, Number 5, September 1988
- Animesh Mukherjee, Jeff Kramer, Jeff Magee:
A distributed file server for embedded applications. 142-148 - Sunil Vadera:
A theory of unification. 149-160 - D. C. Robinson, M. S. Sloman:
Domain-based access control for distributed computing systems. 161-170 - K. Geary:
The practicalities of introducing large-scale software re-use. 172-176 - M. F. Bott, Peter J. L. Wallis:
Ada and software re-use. 177-183 - Anthony Finkelstein:
Re-use of formatted requirements specifications. 186-197 - Murray Wood, Ian Sommerville:
An information retrieval system for software components. 198-207 - J. W. Hutchinson, P. G. Hindley:
A preliminary study of large-scale software re-use. 208-212
Volume 3, Number 6, November 1988
- Pete Sawyer, Ian Sommerville:
Direct manipulation of an object store. 214-222 - Daoris L. Carver:
Comparison of the effect of development paradigms on increases in complexity. 223-228 - P. David Coward:
Symbolic execution systems-a review. 229-239 - Albert Alderson:
A space-efficient technique for recording versions of data. 240-246 - David B. Arnold, Graham J. Reynolds:
Configuring graphics systems components. 248-256 - Anthony D. Gray, Alistair C. Kilgour, Catherine A. Wood:
Dynamic reconfigurability for fast prototyping of user interfaces. 257-262 - Peter Robinson:
A model for graphical interaction. 263-268
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-12-05 22:25 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:
