Stepwise refinement process with modularity
ICSE '89 Proceedings of the 11th international conference on Software engineering
Institutions: abstract model theory for specification and programming
Journal of the ACM (JACM)
Automated Software Engineering
Semantics of Architectural Specifications in CASL
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
Programs, Proofs and Parametrized Specifications
WADT '01 Selected papers from the 15th International Workshop on Recent Trends in Algebraic Development Techniques
An Algebraic Framework for Higher-Order Modules
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Formal representation of reuseable software modules
WCRE '95 Proceedings of the Second Working Conference on Reverse Engineering
Computer algebra handbook
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
Amalgamation in the semantics of CASL
Theoretical Computer Science - Automata, languages and programming
A generic module system for web rule languages: divide and rule
RuleML'07 Proceedings of the 2007 international conference on Advances in rule interchange and applications
RAMICS'11 Proceedings of the 12th international conference on Relational and algebraic methods in computer science
A proof theoretic interpretation of model theoretic hiding
WADT'10 Proceedings of the 20th international conference on Recent Trends in Algebraic Development Techniques
Computer aided incremental specification
IW-FM'97 Proceedings of the 1st Irish conference on Formal Methods
Hi-index | 5.23 |