1376 search results - page 259 / 276 » Model-Driven Software Verification |
149
click to vote
PEPM
2010
ACM
15 years 3 months ago
2010
ACM
Software engineering, automated reasoning, rule-based programming or specifications often use rewriting systems for which termination, among other properties, may have to be ensur...
131
Voted
EMSOFT
2008
Springer
15 years 3 months ago
2008
Springer
The Simulink/Stateflow (SL/SF) environment from Mathworks is becoming the de facto standard in industry for model based development of embedded control systems. Many commercial to...
134
Voted
SIGCSE
2008
ACM
15 years 1 months ago
2008
ACM
Coercing new programmers to adopt disciplined development practices such as thorough unit testing is a challenging endeavor. Test-driven development (TDD) has been proposed as a s...
140
click to vote
PVLDB
2010
15 years 6 days ago
2010
Analysts have marked Event Processing as the most growing segment in enterprise computing during years 2008 and 2009, furthermore, this trend is expected to continue. Many of the ...
145
click to vote
COMPSAC
2010
IEEE
14 years 12 months ago
2010
IEEE
The advent of emerging technologies such as Web services, service-oriented architecture, and cloud computing has enabled us to perform business services more efficiently and effect...