4799 search results - page 759 / 960 » Model Based Requirements Engineering for Embedded Software |
174
click to vote
FASE
2005
Springer
16 years 2 hour 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...
160
click to vote
FASE
2005
Springer
16 years 2 hour ago
2005
Springer
Web Services are the basic building blocks of next generation Internet applications, based on dynamic service discovery and composition. Dedicated discovery services will store bot...
188
click to vote
FASE
2005
Springer
16 years 2 hour 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...
142
click to vote
AGILEDC
2003
IEEE
15 years 11 months ago
2003
IEEE
Agile development methodologies promise higher customer satisfaction, lower defect rates, faster development times and a solution to rapidly changing requirements. Plan-driven app...
155
click to vote
ISPASS
2003
IEEE
15 years 11 months ago
2003
IEEE
Video on Demand (VoD) services are very appealing these days. In this work, we discuss four distinct alternatives for the architecture of a VoD server and compare their performanc...