4895 search results - page 678 / 979 » Tools for Grammar Engineering |
181
click to vote
FASE
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. Coalgebra has in recent years been recognized as the framework of choice for the treatment of reactive systems at an appropriate level of generality. Proofs about the rea...
172
click to vote
FASE
2005
Springer
16 years 6 days ago
2005
Springer
This paper is concerned with the application of Web services to distributed, cross-organizational business processes. In this scenario, it is crucial to answer the following questi...
193
click to vote
FASE
2005
Springer
16 years 6 days ago
2005
Springer
This work defines several control-flow coverage criteria for testing the interactions among a set of collaborating objects. The criteria are based on UML sequence diagrams that a...
174
click to vote
FATES
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. So far, model-based testing approaches have mostly been used in testing through various kinds of APIs. In practice, however, testing through a GUI is another equally impo...
150
click to vote
RE
2005
Springer
16 years 5 days ago
2005
Springer
The use of viewpoints has long been proposed as a technique to structure evolving requirements models. In theory, viewpoints should provide better stakeholder traceability, and th...