On semantic descriptions of software systems

MaRDI QIDQ5395616zbMATH OpenFDO

Authors László Kozma, György Orbán

Publication date 17 February 2014

Full work available at URL http://ac.inf.elte.hu/Vol_041_2013/057_41.pdf

zbMATH Keywords

action semanticsalgebraic specification of abstract data typesconventional semantics of programming languagessemantic functions

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65)

Recommendations

• Aspect-oriented action semantics descriptions
• Formal methods and software development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985. Volume 2: Colloquium on Software Engineering (CSE)
• System Semantics and formal circuit description
• scientific article; zbMATH DE number 1481757
• Formal methods for software engineering. Languages, methods, application domains. With a foreword by Manfred Broy and a contribution on the origins and development of formal methods by John V. Tucker

Cited in

(9)

• On descriptive systems
• Improving the semantics of the software cost reduction method
• scientific article; zbMATH DE number 1708037 (Why is no real title available?)
• From ESSENCE to theory oriented software engineering
• Aspect-oriented action semantics descriptions
• Executable semantic descriptions
• scientific article; zbMATH DE number 1946720 (Why is no real title available?)
• scientific article; zbMATH DE number 2080212 (Why is no real title available?)
• Boilerplates for reconfigurable systems: a language and its semantics

This page was built for publication: On semantic descriptions of software systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5395616)