We provide an automata-theoretic solution to one of the main open questions about the UML standard, namely how to assign a formal semantics to a set of sequence diagrams without c...
The information management requirements in systems based on Web Service Architecture principles include both the management of large amounts of relatively static services and assoc...
Hypermedia systems’ researchers investigate the various approaches in the way documents and resources are linked, navigated and stored in a distributed environment. Unfortunatel...
Abstract. This paper presents some important directions in the use of ontologybased semantics in achieving the vision of Autonomic Communications. We examine the requirements of Au...
David Lewis, Kevin Feeney, Kevin Carey, Thanassis ...
Algebraic testing is an automated software testing method based on algebraic formal specifications. It tests if a program correctly implements an algebraic specification by checki...