4469 search results - page 37 / 894 » A Language for Role Specifications |
113
Voted
RE
2008
Springer
15 years 2 months ago
2008
Springer
This paper proposes a two-step approach to identifying ambiguities in natural language (NL) requirements specifications (RSs). In the first step, a tool would apply a set of ambig...
121
Voted
JAVACARD
2000
15 years 7 months ago
2000
Abstract This note discusses a verification in PVS of the AID (Application Identifier) class from JavaCard's API. The properties that are verified are formulated in the interf...
144
Voted
ENTCS
2002
15 years 3 months ago
2002
We present a Language Prototyping System that facilitates the modular development of interpreters from independent semantic buildks. The abstract syntax is modelled as the fixpoint...
119
Voted
WISE
2002
Springer
15 years 8 months ago
2002
Springer
The emergence of Application Service Providers (ASP) hosting Internet-based data mining services is being seen as a viable alternative for organisations that value their knowledge...
133
click to vote
GI
2009
Springer
15 years 8 months ago
2009
Springer
: The modeling of strategies for deriving valid project plans is a core task in development process’s design. Strategies are used for planning and for the validation of concrete ...