1432 search results - page 87 / 287 » Executable Protocol Models as a Requirements Engineering Too... |
183
Voted
AOSD
2005
ACM
15 years 9 months ago
2005
ACM
C applications, in particular those using operating system level services, frequently comprise multiple crosscutting concerns: network protocols and security are typical examples ...
110
Voted
CSCW
2004
ACM
15 years 9 months ago
2004
ACM
Domain experts are essential for successful software development, but these experts may not recognize their ideas when abstracted into Unified Modeling Language (UML) or ontologie...
145
click to vote
OOPSLA
2005
Springer
15 years 9 months ago
2005
Springer
In this paper we describe AutAT, an open source Eclipse plugin to better enable test driven development of web applications. AutAT lets non-technical people write acceptance tests...
150
click to vote
RSP
2007
IEEE
15 years 9 months ago
2007
IEEE
This paper addresses the need for formal specification and runtime verification of system-level requirements of distributed reactive systems. It describes a formalism for specifyi...
125
click to vote
DSN
2005
IEEE
15 years 9 months ago
2005
IEEE
Database replication based on group communication systems has recently been proposed as an efficient and resilient solution for large-scale data management. However, its evaluati...