Specifying Software Requirements for Complex Systems: New Techniques and Their Application

liskov, 1977, an appraisal of program specifications, Proc Conf on Research Directions in Software Technology, 13.1

parnas, 1971, information distribution aspects of design methodology, Proc Int Fed Inform Processing Congr, ta 3

10.1145/361598.361623

parnas, 1975, More on Specification Techniques for Software Modules

parnas, 1976, response to undesired events in software systems, Proc Int Conf Softw Eng, 437

parnas, 1977, Use of abstract interfaces in the development of software for embedded computer systems, 10.21236/ADA043369

parnas, 1977, use of precise specifications in the development of software, Proc Int Fed Inform Processing Congr

10.1109/TSE.1979.234169

parnas, 1978, Software Engineering Principles

parnas, 1978, Software Engineering Principles

10.1145/359605.359618

dijkstra, 1977, A Discipline of Programming

10.1145/355620.361161

heninger, 1978, Software requirements for the A-7E aircraft

lipton, 1973, On Synchronization Primitive Systems

10.1145/360051.360079

dijkstra, 1968, Programming Languages, 43

hansen, 1973, Operating Systems Principles

10.1109/TSE.1975.6312816

roubine, 1977, SPECIAL Reference Manual

weiss, 1975, The MUDD Report A Case Study of Navy Software Development Practices

shaw, 1974, The Logical Design of Operating Systems