Specification of Mixed Systems in KORRIGAN with the Support of a UML-Inspired Graphical Notation
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
An Agenda for Specifying Software Components with Complex Data Models
SAFECOMP '98 Proceedings of the 17th International Conference on Computer Safety, Reliability and Security
A Problem-Oriented Approach to Common Criteria Certification
SAFECOMP '02 Proceedings of the 21st International Conference on Computer Safety, Reliability and Security
A Method for Requirements Elicitation and Formal Specification
ER '99 Proceedings of the 18th International Conference on Conceptual Modeling
From Informal Requirements to COOP: A Concurrent Automata Approach
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Methodological Support for Requirements Elicitation and Formal Specification
IWSSD '98 Proceedings of the 9th international workshop on Software specification and design
| Hi-index | 0.00 |