134 search results - page 20 / 27 » Formal Software Development in the Verification Support Envi... |
KCAP
2005
ACM
14 years 9 days ago
2005
ACM
The paper reports on an exploratory case study where an organizational learning methodology was used to support knowledge sharing in a medium-sized distributed software developmen...
B
2007
Springer
13 years 10 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...
GI
2007
Springer
14 years 27 days ago
2007
Springer
: An new object oriented development suite for data fusion is presented. It is shown how the various issues in the data fusion development like design, implementation, simulation a...
ICSE
2008
IEEE-ACM
14 years 7 months ago
2008
IEEE-ACM
Pervasive computing software adapts its behavior according to the changing contexts. Nevertheless, contexts are often noisy. Context inconsistency resolution provides a cleaner pe...
ICSE
2005
IEEE-ACM
14 years 6 months ago
2005
IEEE-ACM
Embedded systems are pervasive and frequently used for critical systems with time-dependent functionality. Dwyer et al. have developed qualitative specification patterns to facili...