1137 search results - page 127 / 228 » Disciplined Methods of Software Specification: A Case Study |
SIGSOFT
2001
ACM
15 years 10 months ago
2001
ACM
Complex toolsets can be difficult to use. User interfaces can help by guiding users through the alternative choices that might be possible at any given time, but this tends to loc...
EMSOFT
2006
Springer
15 years 1 months ago
2006
Springer
Embedded applications like video decoding, video streaming and those in the network domain, typically have a Quality of Service (QoS) requirement which needs to be met. Apart from...
NETGAMES
2006
ACM
15 years 3 months ago
2006
ACM
This paper studies a way to improve consistency of states in a ball game typed DVE with lag, in P2P architecture. We also study how to control shared objects in real-time in a ser...
SIGSOFT
2004
ACM
15 years 10 months ago
2004
ACM
This paper introduces declarative event patterns (DEPs) as a means to implement protocols while improving their traceability, comprehensibility, and maintainability. DEPs are desc...
EWSPT
1995
Springer
15 years 1 months ago
1995
Springer
ÐThis paper discusses the notion of process inconsistency and suggests that inconsistencies in software processes are inevitable and sometimes desirable. We present an approach to...