An Operational Approach to Requirements Specification for Embedded Systems

10.1109/TSE.1977.229899

10.1109/TSE.1977.229900

10.1109/TSE.1980.230470

10.1109/PROC.1980.11805

10.1109/PROC.1972.8913

10.1145/358896.358899

10.1109/TSE.1978.231513

rao, 1980, Design and Evaluation of Distributed Communication Primitives

mittermeir, 1980, Semantic nets for modeling the requirements of evolvable systems-An example

10.1145/322123.322134

ichbiah, 1979, rationale for the design of the ada programming language, SIGPlan Notices, 14, 10.1145/956653.956654

10.1145/356612.356614

10.1145/512760.512762

10.1109/TSE.1977.233838

1965, Air Force weapons effectiveness testing (AFWET) instrumentation system

10.1002/spe.4380080404

10.1145/567446.567470

10.1007/BFb0022471

10.1109/TSE.1980.230208

goldman, 1980, Entity-Relationship Approach to Systems Analysis and Design

10.1145/359576.359585

10.1145/355620.361161

zave, 1980, The operational approach to requirements specification for embedded systems

10.1109/TSE.1982.235254

zave, 1981, executable requirements for embedded systems, Proc Int Conf Software Engineering, 295

10.1145/355815.355816

zave, 0, A quantitative evaluation of the feasibility of and suitable hardware architectures for an adaptive parallel finite-element system

zave, 0, Extending applicative specification techniques to embedded systems

10.1145/359642.359651

conn, 1980, maintenance: a key element in computer requirements definition, Proc COMPSAC '80, 401

10.1109/TSE.1979.234209

davis, 1979, formal techniques and automatic processing to ensure correctness in requirements specifications, Proc Specifications of Reliable Software Conf, 15

10.1109/TSE.1977.233839

10.1145/360933.360975

10.1109/C-M.1978.218092

filman, 0, Languages and Models for Distributed Computing

fitzwater, 1977, the use of formal asynchronous process specifications in a system development process, Proc 6th Texas Conf Comput Syst, 2b-21

10.1145/800022.808310

10.1109/TC.1978.1675100

balzer, 1979, principles of good software specification and their implications for specification language, Proc Specifications of Reliable Software Conf, 58

10.1145/359576.359579

10.1109/TSE.1977.229903

belady, 1979, Research Directions in Software Technology, 106

10.1109/TC.1976.1674590

bell, 1976, software requirements: are they really a problem?, Proc Int Conf Softw Eng, 61

zave, 1978, The formal specification of an adaptive parallel finite?element system

hansen, 1977, The Architecture of Concurrent Programs

yeh, 1979, Systematic derivation of software requirements through structured analysis

yeh, 1979, Software requirement engineering?A perspective

10.1109/TSE.1977.233839

yeh, 1980, Software requirments A report on the state of the art, 10.21236/ADA097278

smoliar, 1979, using applicative techniques to design distributed systems, Proc Specifications of Reliable Software Conf, 150

10.1007/978-3-642-46430-0_11

10.1109/TSE.1977.229902

smoliar, 1981, operational requirements accommodation in distributed system design, IEEE Transactions on Software Engineering, se 7, 531, 10.1109/TSE.1981.231122