2118 search results - page 164 / 424 » Execution of A Requirement Model in Software Development |
119
Voted
SERP
2004
15 years 6 months ago
2004
This paper presents the motivation as well as the development for Dynasty, a 3-D game. Dynasty is a multiplayer 3D first person shooter game that is based in Ancient China. Player...
123
click to vote
SOCO
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. The separation of concerns has been a core idiom of software engineering for decades. In general, software can be decomposed properly only according to a single concern, ...
216
click to vote
ESEC
1999
Springer
15 years 9 months ago
1999
Springer
CIP is a model-based software development method for embedded systems. The problem of constructing an embedded system is decomposed into a functional and a connection problem. The ...
170
Voted
HPDC
2010
IEEE
15 years 5 months ago
2010
IEEE
Cloud computing [22] is a promising paradigm for the provisioning of IT services. Cloud computing infrastructures, such as those offered by the RESERVOIR project, aim to facilitat...
147
click to vote
SPIN
2009
Springer
15 years 11 months ago
2009
Springer
This paper describes a set of software tools developed for teaching concurrency and model checking. jSpin is an elementary development environment for Spin that formats and filter...