default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSoftware Engineering Journal, Volume 4
Volume 4, Number 1, January 1989
- Barbara A. Kitchenham, John G. Walker:
A quantitative approach to monitoring software development. 2-13 - A. Walshe:
Formal methods for database language design and constraint handling. 15-24 - B. Cohen:
Justification of formal methods for system specification. 26-35 - B. Cohen:
A rejustification of formal notations [software engineering]. 36-38 - J. Michael Spivey:
An introduction to Z and formal specifications. 40-50 - J. C. P. Woodcock
:
Structuring specifications in Z. 51-66 - Jonathan P. Bowen:
POS-formal specification of a Unix tool. 67-72
Volume 4, Number 2, March 1989
- A. Burns, I. W. Morrison:
A formal description of the structure attribute model for tool interfacing. 74-78 - M. Elizabeth C. Hull, Adib Zarea-Aliabadi, David A. Guthrie:
Object-oriented design, Jackson system development (JSD) specifications and concurrency. 79-86 - Pericles Loucopoulos, Vassileios Karakostas:
Modelling and validating office information systems: an object and logic oriented approach. 87-94 - Janusz W. Laski:
Testing in the program development cycle. 95-106 - Franz Stetter:
Modelling programs by the notion of hypergraph. 107-111 - F. Bichon, Mamoun Filali, Gérard Padiou, R. Smith:
The use of Modula-2 for implementing a distributed kernel. 115-122 - P. Blach, W. Paul Cockshott, P. W. Foulk:
Layered implementations of persistent object stores. 123-131
Volume 4, Number 3, May 1989
- J. Gerard Wolff:
The management of risk in system development: Project SP and the New Spiral Model. 134-142 - Patrick A. V. Hall:
Software development standards. 143-147 - Alfio Lombardo, Sergio Palazzo:
An extended algebra for the validation of communication protocols. 148-158 - Matthew O. Adigun:
A framework for teaching programming with reuse. 159-162 - Rob Pooley:
An experimenter tool for an integrated modelling support environment-its role and design. 163-170
Volume 4, Number 4, July 1989
- David Budgen, Norman E. Gibbs:
The education programme of the Software Engineering Institute, Carnegie Mellon University. 176-185 - J. J. Rowland:
A practical approach to hardware empathy for software engineering students. 186-189 - C. Alder:
Software engineering education in an electronic engineering degree. 191-199 - Brenda M. Mace:
Software engineering within the context of a computer science degree programme. 200-202 - Mike A. Lockyer, Gary Griffiths:
ALSETT-towards an educational IPSE. 203-207 - Brian C. Tompsett:
The System Cottage-a multidisciplinary engineering group practical. 209-220 - Peter J. B. King:
Experiences with group projects in software engineering. 221-225 - A. Jones, M. Birtle:
An individual assessment technique for group projects in software engineering. 226-232 - Barry J. Cornelius, Malcolm Munro, D. J. Robson:
An approach to software maintenance education. 233-236 - Brian C. Tompsett:
Software engineering education for researchers. 237-240 - Martyn A. Ould:
Software engineering training requirements in a professional services company. 241-244 - D. E. Conway, S. C. Dunn, G. S. Hooper:
BCS and IEE accreditation of software engineering courses. 245-248
Volume 4, Number 5, September 1989
- Alan D. Mayer, Alan M. Sykes:
A probability model for analysing complexity metrics data. 254-258 - Pericles Loucopoulos, Paul J. Layzell:
Improving information system development and evolution using a rule-based paradigm. 259-267 - Geoffrey F. Carpenter, Andrew M. Tyrrell:
The use of GMB in the design of robust software for distributed systems. 268-282 - D. Richard Kuhn:
Generating extended state transitions from structured specifications for process control systems. 283-291
Volume 4, Number 6, November 1989
- Marvin V. Zelkowitz, Bonnie Kowalchack, David Itkin, Laurence Herman:
Experiences building a syntax-directed editor. - George C. Wells:
The application of real-time design techniques to simulation. 301-308 - Nazim H. Madhavji, Mingjun Zhang, Sami Boulos, Yuan Xiang Gu:
Semi-structured cursor movements in MUPE-2. 309-317
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-04 01:28 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:
