
Index Terms
(auto-classified)Introduction to the Special Issue on Specification and Design Languages (FDL 2019)
Recommendations
Operational specification languages
ACM '83: Proceedings of the 1983 annual conference on Computers : Extending the human resourceThe “operational approach” to software development is based on separation of problem-oriented and implementation-oriented concerns, and features executable specifications and transformational implementation. “Operational specification languages” are ...
Software specification using the special language
This paper presents a tutorial overview of special, a formal specification and assertion language created by SRI International as part of their hierarchical design methodology. The language is based on a formal model of system behavior and is supported ...
Special Issue: Machine Learning in Design
This issue of AIEDAM is based on a workshop on Machine Learning in Design held at the 1996 Conference on Artificial Intelligence in Design, AID'96 (Gero & Sudweeks, 1996), the third of such workshops, with the previous two being held at AID'92 (Gero, ...






Comments