default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal of Systems and Software (JSS), Volume 40
Volume 40, Number 1, January 1998
- Robert L. Glass:
Editor's corner yet another date crisis -- Y2k is only the beginning. 1-2 - Frank Land:
A contingency based approach to requirements elicitation and systems development. 3-6 - Annemieke Craig, Julie Fisher, Angela Scollary, Mohini Singh:
Closing the gap: Women education and information technology courses in Australia. 7-15 - David W. Binkley, James R. Lyle:
Application of the pointer state subgraph to static program slicing. 17-27 - Richard Lai, Xiaobo Li:
Applying a new decomposition method to verify communication protocols. 29-50 - Damien De Paoli, Andrzej M. Goscinski:
The RHODOS migration facility. 51-65 - Arun Rai, Haidong Song, Marvin D. Troutt:
Software quality assurance: An analytical survey and research prioritization. 67-83 - Ido Millet:
Normalization on the fly. 85-88 - Biographies. 89-90
Volume 40, Number 2, February 1998
- Robert L. Glass:
Editor's corner: How long do information systems last? 91- - Kai-Yuan Cai:
On estimating the number of defects remaining in software. 93-114 - Shinji Kusumoto, Atsushi Chimura, Tohru Kikuno, Ken-ichi Matsumoto, Yukio Mohri:
A promising approach to two-person software review in educational environment. 115-123 - Tom P. Ajith, C. Siva Ram Murthy:
Algorithms for reliability-oriented module allocation in distributed computing systems. 125-138 - Agostino Poggi, Giulio Destri:
Using PVM to develop a distributed object-oriented language for heterogeneous processing. 139-150 - Armin R. Mikler, Johnny S. K. Wong, Vasant G. Honavar
:
An object oriented approach to simulating large communication networks. 151-164 - Sun-Jen Huang, Richard Lai:
On measuring the complexity of an estelle specification. 165-181 - Frank Land:
From IT application to organizational transformation. 183-184 - Biographies. 185-186
Volume 40, Number 3, March 1998
- Hossein Saiedian:
Guest editor's corner research directions in formal methods technology transfer. 187-189 - Michael Jackson:
Formal methods and traditional engineering. 191-194 - David Lorge Parnas:
"Formal methods" technology transfer will fail. 195-198 - Steve M. Easterbrook, John R. Callahan:
Formal methods for verification and validation of partial specifications: A case study. 199-210 - Jim Armstrong:
Industrial integration of graphical and formal specifications. 211-225 - Ulrich Ultes-Nitsche:
Application of formal verification and behaviour abstraction to the service interaction problem in intelligent networks. 227-248 - Lalita Jategaonkar Jagadeesan, Lawrence G. Votta, Adam A. Porter, Carlos Puchol, J. Christopher Ramming:
Specification-based testing of reactive software: A case study in technology transfer. 249-262 - Sara Jones, David Till, Ann M. Wrightson:
Formal methods and requirements engineering: Challenges and synergies. 263-273 - Baudouin Le Charlier, Pierre Flener:
Specifications are necessarily informal or: Some more myths of formal methods. 275-296 - Biographies. 297-299
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 2026-08-09 22:58 CEST 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, funded, and maintained by:
Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.
