9006 search results - page 1472 / 1802 » Modeling Software |
170
click to vote
FDL
2004
IEEE
15 years 8 months ago
2004
IEEE
The steadily increasing complexity of embedded systems requires comprehensive methodoloat support the design process from the highest possible abstraction level. In most of the cu...
144
click to vote
COORDINATION
2006
Springer
15 years 8 months ago
2006
Springer
We tackle the problem of providing rigorous formal foundations to current software engineering technologies for web services. We focus on two of the most used XML-based languages f...
146
click to vote
ETRICS
2006
15 years 8 months ago
2006
Abstract. Formal methods emphasizes the need for a top-down approach when developing large reliable software systems. Refinements are map step by step abstract algebraic specificat...
131
click to vote
GCC
2006
Springer
15 years 8 months ago
2006
Springer
Increasingly scientists are using collections of software tools in their research. These tools are typically used in concert, often necessitating laborious and error prone manual ...
146
click to vote
CAV
2000
Springer
15 years 8 months ago
2000
Springer
Hierarchical state machines is a popular visual formalism for software specifications. To apply automated analysis to such specifications, the traditional approach is to compile th...