714 search results - page 74 / 143 » The Formal Specification Language mCRL2 |
118
Voted
INDIASE
2009
ACM
15 years 8 months ago
2009
ACM
We present an approach to automating some of the quality assurance review of software requirements documents, and promoting best practices for requirements documentation. The syst...
169
Voted
ASE
2006
15 years 3 months ago
2006
User interface (UI) prototyping and scenario engineering have become popular techniques. Yet, the transition from scenario to formal specifications and the generation of UI code is...
130
Voted
ASWC
2006
Springer
15 years 7 months ago
2006
Springer
The Web Ontology Language (OWL), which is a Description Logic based ontology language, is widely used to represent formal definitions of vocabularies for domain knowledge, especial...
121
Voted
UML
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. To formally describe architectures of software systems, specific languages called Architecture Description Languages (ADLs) have been developed by academic institutions a...
153
Voted
JCIT
2007
15 years 3 months ago
2007
In this paper, we outline a framework for the development of natural language interfaces to agent systems with a focus on action representation. The architecture comprises a natur...