This paper presents Archivus, a multimodal language-enabled meeting browsing and retrieval system. The prototype is in an early stage of development, and we are currently explorin...
Marita Ailomaa, Miroslav Melichar, Agnes Lisowska,...
This paper introduces an executable coordination specification language, which is able to handle prespecified ways as well as more flexible and generic ways of specifying coordina...
Tibor Bosse, Mark Hoogendoorn, Radu Serban, Jan Tr...
A methodology is proposed for the formal development of software systems from a user's requirements specification in natural language into a complete implementation, proceedi...
Abstract. Software requirements engineering is an essential activity for the successful development of information systems. Requirements can be specified using different techniques...
The notion of partial and evolutionary specification has gained attention both in research and industry in the last years. While many people regard this just as a process issue, w...