1099 search results - page 136 / 220 » A tool for assisting the understanding and formal developmen... |
ECEASST
2006
13 years 9 months ago
2006
OCL is a standard specification language, which will probably be supported by most software modeling tools in the near future. Hence, it is important to OCL to have a solid formal ...
VSTTE
2005
Springer
14 years 2 months ago
2005
Springer
The interplay back and forth between software model checking and hardware model checking has been fruitful for both. Originally intended for the analysis of concurrent software, mo...
WWW
2004
ACM
14 years 10 months ago
2004
ACM
Intelligent tutoring systems have demonstrated their utility in a variety of domains. However, they are notoriously resource intensive to build. We report here on the development ...
OTM
2004
Springer
14 years 2 months ago
2004
Springer
Currently, a number of distributed software systems development tools exist, but typically they are designed either to satisfy industrial standards – industrial perspective – o...
VAMOS
2010
Springer
13 years 10 months ago
2010
Springer
Revision control systems are a major means to manage versions and variants of today's software systems. An ongoing problem in these systems is how to resolve conflicts when me...