15253 search results - page 341 / 3051 » Integer-Programming Software Systems |
172
click to vote
DATE
2005
IEEE
16 years 12 days ago
2005
IEEE
Embedded software design for real time reactive system
181
click to vote
TOOLS
1999
IEEE
15 years 11 months ago
1999
IEEE
The development of large software systems demands intensive cooperation among multiple project team members with different responsibilities. The development process is often distr...
186
click to vote
HASE
1998
IEEE
15 years 11 months ago
1998
IEEE
Transforming software requirements into a software design involves the iterative partition of a solution into software components. The process is human-intensive and does not guar...
155
click to vote
ENTCS
2006
15 years 6 months ago
2006
In this paper we investigate how formal software verification systems can be improved by utilising parallel assignment in weakest precondition computations.
144
click to vote
IEE
2000
15 years 6 months ago
2000
: Existing approaches to modelling software systems all too often neglect the issue of component-mismatch identi