


default search action
Journal of Systems and Software (JSS), Volume 3
Volume 3, Number 1, March 1983
- Alan B. Salisbury, John H. Manley:

Editors' introduction. 1 - Barry W. Boehm:

Seven basic principles of software engineering. 3-24 - Margaret H. Hamilton, Saydean Zeldin:

The functional life cycle model and its automation: USE.IT. 25-62 - Harry M. Sneed:

Softing software engineering system. 63-76 - Donald O'Neill:

Integration engineering perspective. 77-83 - Ali Mili, Donna S. Reese

:
Representation and manipulation of information systems: A simplified approach. 85-93 - Brent D. Kornman:

Pattern matching and pattern-directed invocation in systems programming languages. 95-102
Volume 3, Number 2, June 1983
- Richard E. Fairley:

Editor's introduction. 105 - Ramchandra D. Joshi:

Software development for reliable software systems. 107-121 - Jack C. Wileden, John H. Sayler, William E. Riddle, Alan R. Segal, Allan M. Stavely:

Behavior specification in a software design system. 123-135 - Allan M. Stavely:

Modeling and projection in software development. 137-146 - Steven F. Jennings, Arthur E. Oldehoeft:

An analysis of program execution on a recursive stream-oriented data flow architecture. 147-154 - Billy G. Claybrook, H. Rex Hartson:

Language extensions for specifying program access control policies in programming languages. 155-162 - H. G. Stuebing:

Industrialization of weapon system software. 163-171 - Nancy G. Leveson, Peter R. Harvey:

Software fault tree analysis. 173-181
Volume 3, Number 3, September 1983
- Richard E. Fairley:

Editor's introduction. 185 - Klaas G. van der Poel, Stephen R. Schach:

A software metric for cost estimation and efficiency measurement in data processing system development. 187-191 - Erika Nyari, Harry M. Sneed:

SOFSPEC: A pragmatic approach to automated specification verification. 193-200 - H. Rex Hartson, Earl J. Balliet:

A model of enforcement relationships among database access control dependencies. 201-217 - U. Bussolati, Giancarlo Martella:

Security design in distributed database systems. 219-229 - W. M. Evangelist:

Software complexity metric sensitivity to program structuring rules. 231-243 - R. Nigel Horspool, Jeffrey M. Laks:

An improved block sequencing method for program restructuring. 245-250
Volume 3, Number 4, December 1983
- Richard E. Fairley:

Editor's introduction. 253-254 - Peter C. Bates, Jack C. Wileden:

High-level debugging of distributed systems: The behavioral abstraction approach. 255-264 - Bernd Brügge, Peter G. Hibbard:

Generalized path expressions: A high-level debugging mechanism, . 265-276 - Thomas A. Cargill:

The Blit debugger. 277-284 - Peter Fritzson:

Symbolic debugging through incremental compilation in an integrated environment. 285-294 - Michael L. Powell, Mark A. Linton:

A database model of debugging. 295-300 - Robert L. Sedlmeyer, William B. Thompson, Paul E. Johnson:

Knowledge-based fault localization in debugging. 301-307 - W. Morven Gentleman, Henry Hoeksma:

Hardware assisted high-level debugging. 309-314 - Claude Jard, Gregor von Bochmann:

An approach to testing specifications. 315-323

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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














