This paper presents a specifically database-inspired approach (called DOGMA) for engineering formal ontologies, implemented as shared resources used to express agreed formal semant...
Use Cases are a wide-spread informal method for specifying the requirements of a technical system in the early development phase. Z is a formal notation which aims to support, bes...
Established software development processes focus on delivering software within time and budget according to a set of requirements. However, practical experiences show that neither...
Abstract. To formally describe architectures of software systems, specific languages called Architecture Description Languages (ADLs) have been developed by academic institutions a...
In this paper we propose a passive conformance testing technique applied to a Mobile ad hoc network (MANET) routing protocol, OLSR, that is characterized by a dynamically changing...