Author:
Choppy Christine,Reggio Gianna
Subject
Computational Theory and Mathematics,Logic,Theoretical Computer Science,Software
Reference32 articles.
1. CASL: the common algebraic specification language;Astesiano;TCS,2002
2. IFIP WG 1.3 Book on Algebraic Foundations of System Specification,1999
3. Formalism and method;Astesiano;TCS,2000
4. Labelled transition logic: an outline;Astesiano;Acta Inform.,2001
5. Knowledge structuring and representation in requirement specification;Astesiano,2002
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A service‐oriented method for domain and business process modelling;Journal of Software: Evolution and Process;2020-08-25
2. Observer Patterns for Real-Time Systems;2013 18th International Conference on Engineering of Complex Computer Systems;2013-07
3. Specification and Design Approaches;Models and Analysis in Distributed Systems;2013-03-06
4. Casl-Mdl, Modelling Dynamic Systems with a Formal Foundation and a UML-Like Notation;Recent Trends in Algebraic Development Techniques;2012
5. A Modelling Approach with Coloured Petri Nets;Reliable Software Technologies – Ada-Europe 2008