410 search results - page 59 / 82 » Tool Support for Invariant Based Programming |
161
click to vote
TOOLS
2008
IEEE
16 years 7 days ago
2008
IEEE
Abstract. A popular approach to compositional verification of component-based applications is based on the assume-guarantee paradigm, where an assumption models behavior of an env...
163
click to vote
ICALT
2005
IEEE
15 years 11 months ago
2005
IEEE
In this paper we present an architecture dedicated to an intelligently assisted educational tool which integrates within a unified framework software rational agents both at the m...
146
click to vote
EDOC
2002
IEEE
15 years 10 months ago
2002
IEEE
The Object Management Group (OMG) is pursuing its new Model-Driven Architecture (MDA) strategy. The Meta-Object Facility (MOF) is an important technology to support the MDA, both ...
184
click to vote
TPHOL
2009
IEEE
16 years 15 days ago
2009
IEEE
In this paper a general framework for separation logic inside the HOL theorem prover is presented. This framework is based on Abeparation Logic. It contains a model of an abstract,...
175
click to vote
ISQED
2003
IEEE
15 years 11 months ago
2003
IEEE
The nature of IC design has is necessarily evolving to a more data-centric design flow in which EDA tools share a common information in a design database without the negative cost...