15253 search results - page 388 / 3051 » Integer-Programming Software Systems |
166
click to vote
IFIP
1989
Springer
15 years 11 months ago
1989
Springer
‘‘Industrial strength’’ software development environments (SDEs) must provide facilities to address three essential properties of multi-developer software systems: evoluti...
187
click to vote
CODES
2001
IEEE
15 years 10 months ago
2001
IEEE
Due to rapidly increasing system complexity, shortening time-tomarket, and growing demand for hard real-time systems, formal methods are becoming indispensable in the synthesis of...
161
click to vote
ESE
2006
15 years 6 months ago
2006
Software is typically improved and modified in small increments (we refer to each of these increments as a modification record--MR). MRs are usually stored in a configuration manag...
185
click to vote
SIGSOFT
2010
ACM
15 years 4 months ago
2010
ACM
The development of wireless sensor networks (WSNs) software today is tackled by a code-and-fix process that relies solely on the primitive constructs provided by the operating sys...
187
click to vote
CACM
2010
15 years 4 months ago
2010
Certified software consists of a machine-executable program plus a formal machine-checkable proof that the software is free of bugs with respect to a claim of dependability. The c...