Sciweavers

2118 search results - page 285 / 424
» Execution of A Requirement Model in Software Development
Sort
View
JISBD
2001
15 years 5 months ago
Conceptual Modeling of Device-Independent Web Applications
Existing tools intended to build and deploy engaging complex Web sites (including functionality) have shown to be inadequate to face the software production process in an unified a...
Jaime Gómez, Cristina Cachero
SEW
2006
IEEE
15 years 10 months ago
Retrenching the Purse: Finite Exception Logs, and Validating the Small
The Mondex Electronic Purse is an outstanding example of industrial scale formal refinement, and was the first verification to achieve ITSEC level E6 certification. A formal a...
Richard Banach, Michael Poppleton, Susan Stepney
ECBS
2006
IEEE
115views Hardware» more  ECBS 2006»
15 years 10 months ago
Supporting Design Patterns with Annotations
Design patterns are an established means for building evolvable and maintainable object-oriented software. However, using them requires the developer’s extensive experience. A w...
Klaus Meffert
DIGRA
2003
Springer
15 years 9 months ago
WADs, Bots and Mods: Multiplayer FPS Games as Co-creative Media
This paper will focus on the inter-relationships between media, technology and culture as demonstrated by the online multiplayer FPS scene, and will make explicit the degree to wh...
Sue Morris
SAC
2005
ACM
15 years 10 months ago
Handling run-time updates in distributed applications
The server side of business software systems is commonly implemented today by an ensemble of Java classes distributed over several hosts. In this scenario, it is often necessary, ...
Marco Milazzo, Giuseppe Pappalardo, Emiliano Tramo...