Abstract
Operational specification is a method of documenting specifications for systems which separates the implementation details from the problem requirements details. Operational specification permits simulation of the specification enabling the specification creator to test the specification to see how well it satisfies prescribed functional requirements. The line between specification and description when applied to computer architecture design is rather thin in my opinion and the experience of this author indicates that a particular specification tool known as PAISLey (described in more detail below) can serve as a suitable hardware description tool.
- {Bell-Newell, 1971} Bell, C. and A. Newell, "Computer Structures: Readings and Examples", NY, McGraw-Hill, 1971.]] Google Scholar
Digital Library
- {Dasgupta, 1984} Dasgupta, S. "The Design and Description of Computer Architectures", NY, John Wiley, 1984]] Google Scholar
Digital Library
- {Dasgupta, 1988} Dasgupta, S. Computer Architecture", NY, John Wiley, 1988.]] Google Scholar
Digital Library
- {Habib, S}, Habib, S (Ed), "Microprogramming and Firmware Engineering Methods", NY, Van Nostrand Reinhold, 1988.]] Google Scholar
Digital Library
- {Hill-Peterson, 1982} Hill, F. and Peterson, "Digital Systems: Hardware Organization and Design, NY, John Wiley, 1982]] Google Scholar
Digital Library
- {Zave, 1982} Zave, P. "An Operational Approach to Requirements Specification for Embedded Systems", IEEE Transactions on Software Engineering SE-8, May 1982.]]Google Scholar
Digital Library
- {Zave, 1983} Zave, P. "Operational Specification Languages", ACM Annual Conference, NY, October, 1983]] Google Scholar
Digital Library
- {Zave, 1984} Zave, P. "The Operational Versus the Conventional Approach to Software Development", CACM 27, February, 1984.]] Google Scholar
Digital Library
Recommendations
An Insider's Evaluation of PAISLey
An executable specification language called PAISLey is evaluated. The language is accompanied by specification methods, analysis techniques, and software tools. The actual results of the PAISLey project are summarized. Research methods, how the results ...
An overview of the PAISLey project-1984
PAISLey is an executable specification language that is especially well suited to real-time and distributed systems. It is motivated by an approach to software development based on the separation of problem-oriented from implementation-oriented concerns,...
Abstract operational semantics for use case maps
FORTE'05: Proceedings of the 25th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed SystemsScenario-driven requirement specifications are widely used to capture and represent functional requirements. Use Case Maps (UCM) is being standardized as part of the User Requirements Notation (URN), the most recent addition to ITU–T’s family of ...






Comments