2430 search results - page 148 / 486 » Tool support for quality-driven development of software arch... |
194
click to vote
HCI
2009
15 years 3 months ago
2009
The design of safety critical systems calls for advanced software engineering models, methods and tools in order to meet the safety requirements that will avoid putting human life ...
205
click to vote
RV
2009
Springer
15 years 10 months ago
2009
Springer
Monitoring of software’s execution is crucial in numerous software development tasks. Current monitoring efforts generally require extensive instrumentation of the software or d...
149
click to vote
SIGDOC
2006
ACM
16 years 23 hour ago
2006
ACM
We report on the development of a tool which supports software programmers in programming to an interface by providing just in time (JIT) solutions. The development of the tool wa...
176
click to vote
ECLIPSE
2004
ACM
15 years 11 months ago
2004
ACM
This paper describes our effort on developing educational materials on model checking to help foster the adoption of software model checking. We describe the course materials tha...
144
click to vote
ELPUB
2007
ACM
15 years 10 months ago
2007
ACM
The growth in electronic and digital publishing on the World Wide Web has led to the development of a wide range of tools for generating metadata. As a result, it can be difficult...