15253 search results - page 324 / 3051 » Integer-Programming Software Systems |
155
click to vote
SERA
2005
Springer
16 years 7 days ago
2005
Springer
In recent years, embedded systems have become so complex and the development time to market is required to be shorter than before. As embedded systems include more functions for n...
210
click to vote
CSMR
2009
IEEE
15 years 11 months ago
2009
IEEE
Decomposing a software system into smaller, more manageable clusters is a common approach to support the comprehension of large systems. In recent years, researchers have focused ...
175
click to vote
ACMSE
1998
ACM
15 years 11 months ago
1998
ACM
– It is difficult to improve software quality by relying on conformance to industry standards by continuously upgrading from one standard or model to another standard or model be...
171
click to vote
ICSE
1994
IEEE-ACM
15 years 11 months ago
1994
IEEE-ACM
Abstract. Language-based editing systems have the potential to become a practical, central, and powerful part of every software engineer's toolkit, but progress has been limit...
163
click to vote
SAFECOMP
1998
Springer
15 years 10 months ago
1998
Springer
A method is described for the analysis and the verification of safety in software systems. The method offers a formal notation for describing the software structure, the means for ...