4350 search results - page 305 / 870 » Case studies for contract-based systems |
184
click to vote
NETCOOP
2007
Springer
16 years 25 days ago
2007
Springer
We consider jamming in wireless networks with transmission cost for both transmitter and jammer. We use the framework of non-zerosum games. In particular, we prove the existence an...
148
click to vote
RE
2007
Springer
16 years 24 days ago
2007
Springer
In industrial requirements documents natural language is the main presentation means. In such documents, system behavior is specified in the form of scenarios, written as a seque...
177
Voted
ICSE
2009
IEEE-ACM
15 years 11 months ago
2009
IEEE-ACM
Predicting the incidence of faults in code has been commonly associated with measuring complexity. In this paper, we propose complexity metrics that are based on the code change p...
175
click to vote
AGILEDC
2008
IEEE
15 years 8 months ago
2008
IEEE
This case study outlines one team's shift from the traditional waterfall methodology to an agile approach for web and custom application development. The transformation occur...
199
click to vote
ASM
2008
ASM
15 years 8 months ago
2008
ASM
Abstract. The Mondex case study concerns the formal development and verification of an electronic purse protocol. Several groups have worked on its specification and mechanical ver...