1239 search results - page 124 / 248 » Applying Model Checking to Concurrent UML Models |
ICSE
1995
IEEE-ACM
14 years 17 days ago
1995
IEEE-ACM
The ViewPoints framework for distributed and concurrent software engineering provides an alternative approach to traditional centralised software development environments. We inve...
APN
2007
Springer
14 years 3 months ago
2007
Springer
Asynchronous data communication mechanisms (ACMs) have been extensively studied as data connectors between independently timed concurrent processes. In previous work, an automatic ...
ICDCS
2010
IEEE
14 years 28 days ago
2010
IEEE
—Wireless Sensor Network (WSN) applications are typically event-driven. While the source codes of these applications may look simple, they are executed with a complicated concurr...
ENTCS
2006
13 years 9 months ago
2006
The project Safe Pointers by Graph Transformation at the University of York has developed a method for specifying the shape of pointer-data structures by graph reduction, and a st...
BIRTHDAY
2009
Springer
13 years 10 months ago
2009
Springer
ProB is an animation and model checking tool for the B Method, which can deal with many interesting specifications. Some specifications, however, contain complicated functions whic...