default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSoftware Engineering Journal, Volume 6
Volume 6, Number 1, January 1991
- Neil A. M. Maiden:
Analogy as a paradigm for specification reuse. 3-15 - John N. Buxton, R. Malcolm:
Software technology transfer. 17-23 - M. Elizabeth C. Hull, Peter G. O'Donoghue, B. J. Hagan:
MOON-modular object-oriented notation. 25-33
Volume 6, Number 2, March 1991
- P. A. Bennett:
Forwards to safety standards. 37-40 - Will Atkinson
, Jim Cunningham:
Proving properties of a safety-critical system. 41-50 - W. J. Cullyer, S. J. Goodenough, Brian A. Wichmann:
The choice of computer languages for use in safety-critical systems. 51-58 - Martyn A. Ould:
Testing-a challenge to method and tool developers. 59-64
Volume 6, Number 3, May 1991
- I. C. Pyle:
Real-world software engineering. 68-71 - Hermann Kopetz, Ralph Zainlinger, Gerhard Fohler, Heinz Kantz, Peter P. Puschner, Werner Schütz:
The design of real-time systems: from specification to implementation and verification. 72-82 - Narain H. Gehani:
Concurrent C: real-time programming and fault tolerance. 83-92 - Houssine Chetto, Maryline Chetto:
An adaptive scheduling algorithm for fault-tolerant real-time systems. 93-100 - Stephen J. Goldsack, A. C. W. Finkelstein:
Requirements engineering for real-time systems. 101-115 - A. Burns:
Scheduling hard real-time systems: a review. 116-128
Volume 6, Number 4, July 1991
- William Campbell:
A C interpreter for Scheme-an exercise in object-oriented design. 130-136 - Jeffrey J. P. Tsai, Thomas Weigert:
HCLIE: a logic-based requirement language for new software engineering paradigms. 137-151 - Inger V. Eriksson, Aimo A. Törn:
A model for IS quality [information systems]. 152-158 - Elizabeth Jean Baillie:
A CCS cast study: a safety-critical system. 159-167 - A. Burns:
The HCI component of dependable real-time systems. 168-174 - Ivor T. A. Spence, B. N. Carey:
Customers do not want frozen specifications. 175-180 - Ming-Jie Chen, Chyan-Goei Chung:
Restructuring operations for data-flow diagrams. 181-195 - Paul Butcher:
A behavioural semantics for Linda-2. 196-204 - Karl J. Lieberherr, Paul L. Bergstein, Ignacio Silva-Lepe:
From objects to classes: algorithms for optimal object-oriented design. 205-228
Volume 6, Number 5, September 1991
- Nazim H. Madhavji:
The process cycle [software engineering]. 234-242 - M. M. Lehman:
Software engineering, the software process and their support. 243-258 - Maria H. Penedo, Christine Shu:
Acquiring experiences with the modelling and implementation of the project-life-cycle process: the PMDB work. 259-274 - Reidar Conradi, Espen Osjord, Per H. Westby, Chunnian Liu:
Initial software process management in EPOS. 275-284 - Naftaly H. Minsky:
Law-governed systems. 285-302 - Victor R. Basili, H. Dieter Rombach:
Support for comprehensive reuse. 303-316 - Yasuhiro Sugiyama, Ellis Horowitz:
Building your own software development environment. 317-331 - Thomas Rose, Matthias Jarke, Michael Gocek, Carlos Maltzahn, Hans W. Nissen:
A decision based configuration process environment. 332-346 - Bruce I. Blum:
A ten year evaluation of an atypical software environment. 347-354 - Walt Scacchi:
The software infrastructure for a distributed system factory. 355-369 - Watts S. Humphrey:
Software and the factory paradigm. 370-376
Volume 6, Number 6, November 1991
- Bjørn Gulla, Even-André Karlsson, Dashing Yeh:
Change-oriented version descriptions in EPOS. 378-386 - Gilles Bernot, Marie-Claude Gaudel, Bruno Marre:
Software testing based on formal specifications: a theory and a tool. 387-405 - Mark B. Ratcliffe, Robert John Gautier:
System development through the reuse of existing components. 406-412 - M. Myers, A. A. Kaposi:
Modelling and measurement of Prolog data. 413-434 - Michael H. Sokolsky, Gail E. Kaiser:
A framework for immigrating existing software to new software development environments. 435-453 - Dick B. Simmons:
Communications: a software group productivity dominator. 454-462 - Adam C. Winstanley, David W. Bustard:
EXPOSE: an animation tool for process-oriented specifications. 463-475 - Ataru T. Nakagawa, Kokichi Futatsugi:
Propagating changes in algebraic specifications. 476-486
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-09 23:27 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:
