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 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 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
  

Last update Sat May 18 16:52:06 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page