default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal of Systems and Software (JSS), Volume 21
Volume 21, Number 1, April 1993
- Robert L. Glass:
Editor's corner can english majors write maintenance documentation? 1-2 - Antero Taivalsaari
:
On the notion of object. 3-16 - Daan B. B. Rijsenbrij, A. H. Bauer:
Project diagnosis a proper start is half the battle. 17-25 - Shang-Rong Tsai, Lian-Jou Tsai:
A logical machine monitor supporting an environment for development and execution of operating systems. 27-39 - Kam-Fai Wong:
Design considerations of a parallel recovery scheme for the EDS data base server. 41-48 - Harvey Rubinovitz, Bhavani Thuraisingham:
Design and implementation of a query processor for a trusted distributed data base management system. 49-69 - Samir M. Koriem, Lalit M. Patnaik:
Fault-tolerance analysis of hypercube systems using Petri net theory. 71-88 - Zoubir Belmesk:
An efficient implementation model for the FP2 parallel language. 89-101 - Mitchell L. Neilsen, Masaaki Mizuno:
A quorum-based algorithm for parameterized semaphore operations. 103-112
Volume 21, Number 2, May 1993
- Robert L. Glass:
Editor's corner : Of understanding, acceptance, ... and formal methods. 115-116 - Bruce I. Blum:
The economics of adaptive design. 117-128 - Ulrich Furbach:
Formal specification methods for reactive systems. 129-139 - Shaoying Liu:
A formal requirements specification method based on data flow analysis. 141-149 - J. Song:
A layout tool for Glotos. 151-162 - Anneliese von Mayrhauser, Deepak Dube:
Simple and fast approximations for generalized stochastic Petri nets. 163-177 - Heeseok Lee:
A structured methodology for software development effort prediction using the analytic hierarchy process. 179-186 - Girish H. Subramanian, Steven Breslawski:
Dimensionality reduction in software development effort estimation. 187-196
Volume 21, Number 3, June 1993
- James M. Bieman, Pradip K. Srimani:
Editor's corner : Applying specification, verification, and validation techniques. 199-200 - William S. Lloyd, Phil Kearns:
Tracing the execution of distributed programs. 201-214 - Lynn M. Foreman, Stuart H. Zweben:
A study of the effectiveness of control and data flow testing strategies. 215-228 - Pierre Dauchy, Marie-Claude Gaudel, Bruno Marre:
Using algebraic specifications in software testing: A case study on the software of an automatic subway. 229-244 - Martin Reck:
Formally specifying an automated trade execution system. 245-252 - David C. Luckham, James Vera, Doug Bryan, Larry M. Augustin, Frank C. Belz:
Partial orderings of event sets and their application to prototyping concurrent, timed systems. 253-265 - Paulo Borba, Silvio Romero de Lemos Meira:
From VDM specifications to functional prototypes. 267-278 - Peter Fenelon, John A. McDermid:
An integrated tool set for software safety analysis. 279-290 - Padmanabhan Krishnan:
Specification of systems with interrupts. 291-304 - Yukuh Tung, Amir A. Khwaja, Joseph E. Urban:
Multiple views of an executable software specification language. 305-319
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 2024-11-25 22:44 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:
