3801 search results - page 568 / 761 » An Approach to Modeling Software Safety |
184
click to vote
ISSTA
2000
ACM
15 years 11 months ago
2000
ACM
Increasing numbers of software developers are using the Unified Modeling Language (UML) and associated visual modeling tools as a basis for the design and implementation of their ...
195
click to vote
KBSE
2005
IEEE
16 years 3 days ago
2005
IEEE
Engineering distributed systems is a challenging activity. This is partly due to the intrinsic complexity of distributed systems, and partly due to the practical obstacles that de...
189
click to vote
KBSE
2010
IEEE
15 years 4 months ago
2010
IEEE
With the need to make sense out of large and constantly growing information spaces, tools to support information management are becoming increasingly valuable. In prior work we pr...
182
click to vote
ICSE
2008
IEEE-ACM
16 years 7 months ago
2008
IEEE-ACM
Timed Interval Calculus (TIC) is a highly expressive set-based notation for specifying and reasoning about embedded real-time systems. However, it lacks mechanical proving support...
184
click to vote
ENVSOFT
2008
15 years 6 months ago
2008
Many impact studies require climate change information at a finer resolution than that provided by Global Climate Models (GCMs). In the last 10 years, downscaling techniques, both...