![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Software Engineering Journal, Volume 7
Volume 7, Number 1, January 1992
- Poh-Tin Lee, K.-P. Tan:
Modelling of visualised data-flow diagrams using Petri net model. 4-12 - J. Paul Myers Jr.:
The complexity of software testing. 13-24 - Tom Rodden, Peter Sawyer, Ian Sommerville:
Vista: a user interface for a distributed object-oriented software engineering environment. 25-34 - Václav Rajlich, João H. Silva:
Two object-based decomposition methodologies: a case study. 35-42 - James M. Bieman, Janet L. Schultz:
An empirical evaluation (and specification) of the all-du-paths testing criterion. 43-51 - Wolfgang A. Halang, Bernd J. Krämer:
Achieving high integrity of process control software by graphical design and formal verification. 53-64 - Paul Baden Austin, Kevin Murray, Andy J. Wellings:
File system caching in large point-to-point networks. 65-80
Volume 7, Number 2, March 1992
- Timothy D. Korson, John D. McGregor:
Technical criteria for the specification and evaluation of object-oriented libraries. 85-94 - Mario Wolczko:
Encapsulation, delegation and inheritance in object-oriented languages. 95-101 - Ian J. Walker:
Requirements of an object-oriented design method. 102-113 - Mary T. Mock, L. R. Hodge:
An exercise to prototype the object-oriented development process. 114-118 - L. R. Hodge, Mary T. Mock:
A proposed object-oriented development methodology. 119-129 - Gordon S. Blair, Roger Lea:
The impact of distribution on support for object-oriented software development. 130-138 - Jeff Kramer, Jeff Magee, Morris Sloman
, Naranker Dulay:
Configuring object-based distributed programs in REX. 139-149 - Susan Stepney, Rosalind Barden, David Cooper:
A survey of object orientation in Z. 150-160 - Alfred L. Brown, Ronald Morrison:
A generic persistent object store. 161-168
Volume 7, Number 3, May 1992
- Ray J. Dawson, Ron W. Newsham, R. S. Kerridge:
Introducing new software engineering graduates to the 'real world' at the GPT company. 171-176 - Klaas Sikkel, Johannes C. van Vliet:
Abstract data types as reusable software components: the case for twin ADTs. 177-183 - Mark B. Ratcliffe, Chengjun Wang, Reboert J. Gautier, Ben R. Whittle:
Dora: a structure-oriented environment generator. 184-190 - Krzysztof Sacha:
Transformational implementation of PAISLey specifications using Petri nets. 191-204 - Cornelis A. Middelburg
:
Specification of interfering programs based on interconditions. 205-217 - H. J. Litteck, Peter J. L. Wallis:
Refinement methods and refinement calculi. 219-229 - Du Xing, Xie Li:
Open model methodology: a new approach to the development of user interfaces based on knowledge processing. 230-236
Volume 7, Number 4, July 1992
- Veikko Seppänen:
Acquisition, organisation and reuse of software design knowledge. 238-246 - Vangalur S. Alagar, Kasilingam Periyasamy:
A methodology for deriving an object-oriented design from functional specifications. 247-263 - Margaret M. West, Barry Eaglestone:
Software development: two approaches to animation of Z specifications using Prolog. 264-276 - F. Tsui, S. C. Hofmann, W. J. Goldstrohm Jr.:
A software development post-mortem summary. 277-284 - Moheb R. Girgis:
An experimental evaluation of a symbolic execution system. 285-290 - P. K. Kapur
, R. B. Garg:
A software reliability growth model for an error-removal phenomenon. 291-294 - Behdad Forghani, Behçet Sarikaya:
Semi-automatic test suite generation from Estelle. 295-307
Volume 7, Number 5, September 1992
- Roy Rada, Weigang Wang, Hafedh Mili, Jurgen Heger, Wolfgang Scherr:
Software reuse: from text to hypertext. 311-321 - Norbert E. Fuchs:
Specifications are (preferably) executable. 323-334 - Nico Plat
, Jan van Katwijk, Hans Toetenel:
Application and benefits of formal methods in software development. 335-346 - Mark B. Ratcliffe, M. F. Bott, T. J. Stotter-Brooks, Ben R. Whittle:
The TIPSE: an IPSE for teaching. 347-356 - Norman E. Fenton
:
When a software measure is not a measure. 357-362 - Fiona Polack:
Integrating formal notations and systems analysis: using entity relationship diagrams. 363-371
Volume 7, Number 6, November 1992
- Gerald Kotonya
, Ian Sommerville:
Viewpoints for requirements definition. 375-387 - D. K. Hilal, H. Soltan:
To prototype or not to prototype? That is the question. 388-392 - David Alan Stokes:
Towards a formal specification of revisable CORE: allowing for change. 393-408 - Juan M. Lafuente:
High-level language extensions for user-interface programming. 409-424 - Germinal Boloix, Paul G. Sorenson, J. Paul Tremblay:
Transformations using a meta-system approach to software development. 425-437 - C. J. Harrison:
An environment for initial software engineering teaching. 438-444
![](https://dblp.org/img/cog.dark.24x24.png)
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.