977 search results - page 133 / 196 » Formal methods integration in software engineering |
144
click to vote
ICSE
2008
IEEE-ACM
16 years 5 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...
132
click to vote
COMPSAC
2007
IEEE
15 years 10 months ago
2007
IEEE
Building open distributed systems is an even more challenging task than building distributed systems, as their components are loosely synchronised, can move, become disconnected, ...
159
click to vote
APAQS
2001
IEEE
15 years 7 months ago
2001
IEEE
With the increasing emphasis on dependability in complex, distributed systems, it is essential that system development can be done gradually and at different levels of detail. In ...
162
Voted
SIGSOFT
2003
ACM
15 years 9 months ago
2003
ACM
Most applications developed today rely on a given middleware platform which governs the interaction between components, the access to resources, etc. To decide, which platform is ...
136
click to vote
DATE
2009
IEEE
15 years 11 months ago
2009
IEEE
—This paper reports on experience gained and lessons learned from an intensive investigation of model-driven engineering methodology and technology for application to high-integr...