1823 search results - page 83 / 365 » Formal specification: a roadmap |
122
click to vote
DEXA
2000
Springer
15 years 8 months ago
2000
Springer
The event calculus is a logic programming formalism for representing events and their effects especially in database applications. This paper presents the use of the event calculus...
133
click to vote
CARDIS
1998
Springer
15 years 8 months ago
1998
Springer
: The new Gemplus smart card is based on the Java technology, embedding a virtual machine. The security policy uses mechanisms that are based on Java properties. This language prov...
129
click to vote
ACSC
2004
IEEE
15 years 8 months ago
2004
IEEE
The Unified Modeling Language (UML) is widely used in the software development process for specification of system based on the object-oriented paradigm. Thought the current versi...
137
click to vote
ERSHOV
2006
Springer
15 years 8 months ago
2006
Springer
The article presents an approach to development of software standards usage infrastructure. The approach is based on formalization of standards and automated conformance test deriv...
126
click to vote
HYBRID
1992
Springer
15 years 8 months ago
1992
Springer
This paper demonstrates how the extended duration calculus [4] can be used to support the approach to documentation of computer systems presented by in [1]. This approach uses the ...