default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal 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
Volume 7, Number 2, June 1987
- Standards and enforcers: Do they really help achieve software quality? 87-88
- Flávio Roberto 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
Volume 7, Number 3, September 1987
- 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
Volume 7, Number 4, December 1987
- 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
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-07-06 02:09 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:
