Software Metrics for Policy-Driven Software Development Life Cycle Automation. | 0 | 0.34 | 2018 |
Building a protocol validator for business to business communications | 0 | 0.34 | 2012 |
Policy-Based Scheduling Of Cloud Services | 1 | 0.44 | 2012 |
Methods for testing web services | 0 | 0.34 | 2007 |
The Unified Problem-Solving Method Development Language UPML | 69 | 8.20 | 2003 |
A software architecture for knowledge-based systems | 8 | 3.97 | 1999 |
Formalization of a Software Architecture for Embedded Systems: A Process Algebra for SPLICE | 4 | 0.49 | 1999 |
Modal change logic (MCL): specifying the reasoning of knowledge-based systems | 11 | 1.30 | 1998 |
Formalisation For Decision Support In Anaesthesiology | 0 | 0.34 | 1997 |
MLPM: Defining a Semantics and Axiomatization for Specifying the Reasoning Process of Knowleged-based Systems | 15 | 1.06 | 1996 |
Formalizing Anaesthesia: a case study in formal specification | 2 | 0.40 | 1996 |
Algebraic Proof Assistants in HOL | 5 | 0.57 | 1995 |
Normal Form in a Delay-Insensitive Algebra | 5 | 0.73 | 1993 |
Reasoning About Dynamic Features in Specification Languages - A Modal View on Creation and Modification | 5 | 0.54 | 1993 |