4418 search results - page 142 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
115
click to vote
FDL
2008
IEEE
15 years 6 months ago
2008
IEEE
This paper describes a scenario-based methodology em-level design validation based on the Abstract State Machines formal method. This scenario-based approach complements an existi...
146
click to vote
ENTCS
2008
15 years 4 months ago
2008
Mathematical texts can be computerized in many ways that capture differing amounts of the mathematical meaning. At one end, there is document imaging, which captures the arrangeme...
143
click to vote
COORDINATION
2006
Springer
15 years 8 months ago
2006
Springer
In a previous work we have presented a formal framework devoted to show the relevance of choreography and orchestration in the design of service oriented applications. Even if usef...
146
click to vote
ENTCS
2007
15 years 4 months ago
2007
In the domain of software engineering, the use of software components is now a well established approach. However, it raises problems about the dynamic adaptation of these compone...
131
click to vote
SIGMOD
2003
ACM
16 years 4 months ago
2003
ACM
The advent of XML as a universal exchange format, and of Web services as a basis for distributed computing, has fostered the apparition of a new class of documents: dynamic XML do...