A high-level modular definition of the semantics of C#
Theoretical Computer Science - Abstract state machines and high-level system design and analysis
Inclusion dynamics hybrid automata
Information and Computation
On the Identification of Goals in Stakeholders' Dialogs
Innovations for Requirement Analysis. From Stakeholders' Needs to Formal Designs
Validating Documentation with Domain Ontologies
Proceedings of the 2005 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the fourth SoMeT_W05
Translation of Textual Specifications to Automata by Means of Discourse Context Modeling
REFSQ '09 Proceedings of the 15th International Working Conference on Requirements Engineering: Foundation for Software Quality
Stepwise development of simulink models using the refinement calculus framework
ICTAC'07 Proceedings of the 4th international conference on Theoretical aspects of computing
A formal approach for the specification and verification of trustworthy component-based systems
Journal of Systems and Software
From requirements to models: feedback generation as a result of formalization
CAiSE'11 Proceedings of the 23rd international conference on Advanced information systems engineering
NLDB'09 Proceedings of the 14th international conference on Applications of Natural Language to Information Systems
Hi-index | 0.00 |