Journal of Systems and Software (JSS), Volume 7

Volume 7, Number 1, March 1987

Should We Prepare for a 4GL Future? 1-2
Mariagrazia Fugini, Giancarlo Martella:
Conceptual modeling of authorization in database systems. 3-13
Ali Mili, Sihem Guemara, Ali Jaoua, Paul Torrés:
On the use of executable assertions in structured programs. 15-28
David N. Card, William W. Agresti:
Resolving the software science anomaly. 29-35
K. Narayanaswamy, Walt Scacchi:
A database foundation to support software system evolution. 37-49
Susan C. Felix-Simpson, H. Pat Artis:
Implementing an analytic model for customer information control systems (CICS). 51-60
Michael F. Merriman:
Automated interactive simulation modeling system: AISIM. 61-72
James D. Arthur:
Toward a formal specification of menu-based systems. 73-82
David N. Card, William W. Agresti:
Comments on resolving the software science anomaly. 83-84

Standards and enforcers: Do they really help achieve software quality? 87-88
Flavio R. Dias Velasco:
A method for test data selection. 89-97
Paolino Di Felice:
On the development of reliable large software. 99-107
Michael Dyer:
A formal approach to software error removal. 109-114
D. Ross Jeffery:
A software development productivity model for MIS environments. 115-125
Kristine Stougaard Thomsen, Jørgen Lindskov Knudsen:
A taxonomy for programming languages with multisequential processes. 127-140
Bradley J. Brown:
Checksum methodology as a configuration management tool. 141-143
A. Rosselet:
Language definition-based compiler development. 145-161
David Alex Lamb, Ivor Durham, Joseph M. Newcomer:
DRAT: A program for maintaining listings. 163-171
June M. Verner, Graham Tate:
A model for software sizing. 173-177

Editor's corner: No silver bullet: A look at software research via the fred brooks article. 181-182
R. Nigel Horspool, Ronald M. Huberman:
Analysis and development of demand prepaging policies. 183-194
Wei Zhao, Krithi Ramamritham:
Simple and integrated heuristic algorithms for scheduling tasks with time and resource constraints. 195-205
Hershey H. Friedman, Linda Weiser Friedman:
Marketing methods for software. 207-212
Warren Harrison, Curtis R. Cook:
A micro/macro measure of software complexity. 213-219
Daniel M. Berry, Nancy Yavne, Moshe Yavne:
Application of program design language tools to abbott's method of program design by informal natural language descriptions. 221-247

What's really wrong with COBOL? 251-252
Frank G. F. Davis, Rex E. Gantenbein:
Recovering from a computer virus attack. 253-258
David Lorge Parnas, David M. Weiss:
Active design reviews: Principles and practices. 259-265
Allen L. Ambler:
Experience with a functionally layered multicomputer architecture for interactive processing. 267-277
Donald J. Reifer:
SoftCost-R: User experiences and lessons learned at the age of one. 279-286
Daniel Joyce:
An identification and investigation of software design guidelines for using encapsulation units. 287-295
David W. E. Blatt:
A comparison of network and hierarchical data management in large programming projects. 297-309
Pierre L'Ecuyer:
Formal formatting rules for Pascal programs. 311-322
Elliot Soloway:
Special section on empirical studies of programming. 323
Stanley Letovsky:
Cognitive processes in program comprehension. 325-339
David C. Littman, Jeannine Pinto, Stanley Letovsky, Elliot Soloway:
Mental models and software maintenance. 341-355
Lisa A. Onorato, Roger W. Schvaneveldt:
Programmer-nonprogrammer differences in specifying procedures to people and computers. 357-369

Last update Tue Feb 14 04:21:00 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page