Functional documents for computer systems
Tóm tắt
Từ khóa
Tài liệu tham khảo
Archinoff, 1990, Verification of the shutdown system software at the Darlington Nuclear Generating Station, 23
Bartussek, 1978, Using assertions about traces to write abstract specifications for software modules, Vol. 65, 211
1985, 111
Bojanowski, 1994, Functional approach to protocols specification, 371
Britton, 1981, A-7E Software Module Guide, 35
Courtois, 1993, Formally Specifying A Communications Protocol Using the Trace Assertion Method, 19
Dijkstra, 1976
Engel, 1993, A formal approach to computer systems requirements documentation, Vol. 736, 452
Heninger, 1980, Specifying software requirements for complex systems: new techniques and their application, IEEE Trans. Software Eng., SE-6, 2, 10.1109/TSE.1980.230208
Heninger, 1978, Software requirements for the A-7E aircraft, 523
Hester, 1981, Using documentation as a software design medium, Bell System Techn. J., 60, 1941, 10.1002/j.1538-7305.1981.tb00304.x
Hoffman, 1985, The trace specification of communications protocols, IEEE Trans. Comp., C-34, 1102, 10.1109/TC.1985.6312209
Iglewski, 1994, Editor for the trace association method, 876
Iglewski, 1993, Documentation Paradigms, 45
Iglewski, 1994, On Fundamentals of the Trace Assertion Method, 8
Janicki, 1993, Towards a Formal Semantics of Tables, 18
Mills, 1987
Parnas, 1971, Information distributions aspects of design methodology, 26
Parnas, 1972, On the criteria to be used in decomposing systems into modules, Comm. ACM, 15, 1053, 10.1145/361598.361623
Parnas, 1974, On a “buzzword” hierarchical structure, 336
Parnas, 1979, Designing software for ease of extension and contraction, IEEE Trans. Software Eng., SE-5, 128, 10.1109/TSE.1979.234169
Parnas, 1983, A generalized control structure and Its formal definition, Comm. ACM, 26, 572, 10.1145/358161.358168
Parnas, 1990, Documentation of communications services and protocols, 4
Parnas, 1992, Tabular representation of relations, 17
Parnas, 1993, Predicate logic for software engineering, IEEE Trans. Software Eng., 19, 856, 10.1109/32.241769
Parnas, 1994, Software Aging, 279
Parnas, 1994, Mathematical descriptions and specification of software, Vol I, 354
Parnas, 1990, Reviewable development of safety critical software, 17
Parnas, 1990, Assessment of safety-critical software, 13
Parnas, 1991, Assessment of safety-critical software in nuclear power plants, Nuclear Safety, 32, 189
Parnas, 1986, A rational design process: how any why to fake it, IEEE Trans. Software Eng., SE-12, 251, 10.1109/TSE.1986.6312940
Parnas, 1985, The modular structure of complex systems, IEEE Trans. Software Eng., SE-11, 259, 10.1109/TSE.1985.232209
Parnas, 1990, Functional documentation for computer systems engineering, 14
Parnas, 1991, Functional documentation for computer systems engineering, 14
Parnas, 1992, Documentation of real-time requirements, 48
Parnas, 1992, Formal documentation of well-structured programs, 37
Parnas, 1994, Precise documentation of well-structured programs, IEEE Trans. Software Eng., 20, 948, 10.1109/32.368133
Peters, 1994, Generating a test oracle from program documentation, 58
Parnas, 1989, The trace assertion method of module interface specification, 39
Parnas, 1994, Simulating the behaviour of software modules by trace rewriting systems, IEEE Trans. Software Eng., 20, 750, 10.1109/32.328996
Schmidt, 1993, Relations and Graphs-Discrete Mathematics for Computer Scientists, 301
van Schouwen, 1990, The A-7 requirements model: re-examination for real-time systems and an application to monitoring systems, 93
van Schouwen, 1993, Documentation of requirements for computer systems, 198
Wang, 1994, Specifying and simulating the externally observable behavior of modules