1021 search results - page 114 / 205 » Design of a Specification Language by Abstract Syntax Engine... |
200
click to vote
CADE
2002
Springer
16 years 3 months ago
2002
Springer
Abstract. Description Logics are a family of class based knowledge representation formalisms characterised by the use of various constructors to build complex classes from simpler ...
108
click to vote
TLDI
2009
ACM
15 years 11 months ago
2009
ACM
Object-oriented programs are notable for making use of both rder abstractions and mutable, aliased state. Either feature alone is challenging for formal veriļ¬cation, and the com...
126
Voted
APSEC
2004
IEEE
15 years 6 months ago
2004
IEEE
Approaches to enforcing communication integrity in the implementation, exemplified by ArchJava, consider only architectural constraints, without taking into account the late integ...
109
click to vote
SIGSOFT
2007
ACM
16 years 3 months ago
2007
ACM
Message Sequence Charts (MSCs) are a widely used visual formalism for scenario-based specifications of distributed reactive systems. In its conventional usage, an MSC captures an ...
111
click to vote
SIGSOFT
2004
ACM
15 years 8 months ago
2004
ACM
Aspect-oriented programming has become an increasingly important means of expressing cross-cutting program abstractions. Despite this, aspects lack support for computeraided veriļ...