2493 search results - page 359 / 499 » Tool Support for Design by Contract |
INFSOF
2006
14 years 10 months ago
2006
Discrete EVent Systems Specification (DEVS) formalism supports specification of discrete event models in a hierarchical modular manner. This paper proposes a DEVS modeling languag...
DKE
2007
14 years 10 months ago
2007
Abstract. Business Process Management (BPM) includes methods, techniques, and tools to support the design, enactment, management, and analysis of operational business processes. Th...
TASE
2008
IEEE
14 years 9 months ago
2008
IEEE
The safety of pointer programs is an important issue in high-assurance software design, and their verification remains a major challenge. Pointer Logic has been proposed to verify...
ICWE
2010
Springer
14 years 8 months ago
2010
Springer
Search Computing defines a new class of applications, which enable end users to perform exploratory search processes over multi-domain data sources available on the Web. These appl...
IEEECIT
2010
IEEE
14 years 8 months ago
2010
IEEE
—In need of interesting material and effective teaching approach in programming learning, students were ely to drop out of the course for the abstract concepts and complex struct...