Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal 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
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-24 23:24 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:
