614 search results - page 38 / 123 » LCLint: A Tool for Using Specifications to Check Code |
130
click to vote
ECTEL
2008
Springer
2008
Springer
Bridging the Gap between Practitioners and E-Learning Standards: A Domain-Specific Modeling Approach
15 years 5 months ago
Developing a learning design using IMS Learning Design (LD) is difficult for average practitioners because a high overhead of pedagogical knowledge and technical knowledge is requi...
124
Voted
GI
2004
Springer
15 years 8 months ago
2004
Springer
: The development of Web Service compositions has not yet been automated. Web Service-based process definitions can be created automatically using Web Service compositions template...
118
click to vote
SIGSOFT
2005
ACM
16 years 4 months ago
2005
ACM
We present a technique that enables the use of finite model finding to check the satisfiability of certain formulas whose intended models are infinite. Such formulas arise when us...
205
Voted
B
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. A recent contribution to the formal specification and verification of concurrent systems is the integration of the state- and event-based approaches B and CSP, specifical...
124
click to vote
FMSD
2006
15 years 3 months ago
2006
This paper describes the application of the Real-Time Maude tool and the Maude formal methodology to the specification and analysis of the AER/NCA suite of active network multicast...