Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal of Systems and Software (JSS), Volume 15
Volume 15, Number 1, April 1991
- Robert L. Glass:
Editor's corner : The computing communication chasm: Some new insight into why it is there, and what can be done about it. 1-2 - Dimitris Christodoulakis:
The GRASPIN software engineering environment. 3 - Wolf D. Itzfeldt, Bernd J. Krämer, Marie-Luise Christ-Neumann:
The project GRASPIN and its CASE environment prototypes: An overview. 5-16 - Bernd J. Krämer:
Introducing the GRASPIN specification language SEGRAS, . 17-31 - Bernd J. Krämer:
A sort of parametric polymorphism for algebraic specifications. 33-42 - Heinz W. Schmidt:
Prototyping and analysis of non-sequential systems using predicate-event nets. 43-62 - Bernd J. Krämer, Luqi:
Toward formal models of software engineering processes. 63-74 - S. Goutas, P. Soupos, Dimitris Christodoulakis:
The GRASPIN data base. 75-82 - Ioanis Gaviotis, A. Hatzimanikatis, Dimitris Christodoulakis:
Communicating in software engineering environments: The GRASPIN paradigm. 83-89 - Robert L. Baber:
Portrait of a (software) engineer. 91-100
Volume 15, Number 2, May 1991
- Robert L. Glass:
Formal methods vs. heuristics: Clarifying a controversy. 103-105 - Richard L. Jenson, Jon W. Bartley:
Parametric estimation of programming effort: An object-oriented model. 107-114 - Kai Koskimies, Jukka Paakki:
High-level tools for language implementation. 115-131 - Antonia Bertolino
:
An overview of automated software testing. 133-138 - Reda A. Ammar:
A computer aided design system to develop high performance software. 139-147 - Dennis F. X. Mathaisel, Clare L. Comm:
Course and classroom scheduling: An interactive computer graphics approach. 149-157 - Pierre Bourque, Vianney Côté:
An experiment in software sizing with structured analysis metrics. 159-172 - Neal Walters:
Requirements specification for Ada software under DoD-STD-2167A. 173-183 - Chenho Kung:
Process interface modeling and consistency checking. 185-191 - David L. Coleman, Albert L. Baker:
Deliberations on Kung's process interface modeling. 193-198 - Chenho Kung:
Response to "deliberations on Kung's process interface modeling". 199
Volume 15, Number 3, July 1991
- Robert L. Glass:
Editor's corner : The (solved, unsolved) problem of literature searches. 203-204 - Linda L. Werner, William E. Howden:
An investigation of the applicability of data usage analysis. 205-215 - Yuksel Uckan:
Knowledge representation using views in relational deductive data bases. 217-232 - Daniel K. Chang:
Data compression using hierarchical dictionaries. 233-238 - Vijay Varadharajan:
A petri net model for system design and refinement. 239-250 - Magdi N. Kamel, Moshe Zviran:
A methodology for integrating heterogeneous data bases in a hospital environment. 251-260 - Edwin K. P. Chong, Wei Zhao:
Performance evaluation of scheduling algorithms for imprecise computer systems. 261-277 - Richard E. Yellen, Jay F. Nunamaker Jr.:
Increasing the willingness of novices to use computer application software. 279-285 - Paul W. Oman, Curtis R. Cook:
A programming style taxonomy. 287-301
a service of 
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-04-19 19:19 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 and maintained by:
the dblp computer science bibliography is funded and supported by:
