1494 search results - page 161 / 299 » Monitored Software Components - A Novel Software Engineering... |
144
click to vote
CCS
2009
ACM
15 years 7 months ago
2009
ACM
We present an approach for the design and analysis of an electronic voting machine based on a novel combination of formal verification and systematic testing. The system was desig...
243
Voted
POPL
2006
ACM
16 years 3 months ago
2006
ACM
The TCP/IP protocols and Sockets API underlie much of modern computation, but their semantics have historically been very complex and ill-defined. The real standard is the de fact...
149
Voted
STEP
2005
IEEE
15 years 9 months ago
2005
IEEE
The decomposition of design patterns into simpler elements may reduce significantly the creation of variants in forward engineering, while it increases the possibility of identify...
140
click to vote
SERP
2004
15 years 4 months ago
2004
Model-Driven Development (MDD) represents a positive step toward a general model-based approach to software engineering. The Object Management Group (OMG) offers a conceptual fram...
135
click to vote
JNSM
2000
15 years 3 months ago
2000
: As service management systems are deployed in an open service market environment, the pressures on their developers to shorten development times and improve the flexibility of sy...