1481 search results - page 128 / 297 » Enriching the Software Development Process by Formal Methods |
133
Voted
APSEC
2006
IEEE
15 years 5 months ago
2006
IEEE
Almost methods in embedded software modeling take software architecture as one of the crucial parts of the design process. Since a principal role of embedded software is the inter...
139
Voted
SIGSOFT
2010
ACM
15 years 1 months ago
2010
ACM
The presence of a functionally correct golden implementation has a significant advantage in the software development life cycle. Such a golden implementation is exploited for soft...
73
Voted
ICIP
2005
IEEE
16 years 5 months ago
2005
IEEE
A new theoretical development is presented for handling the over-segmentation problem in partitioning-based connected openings. The definition we propose treats singletons generat...
129
Voted
HICSS
2009
IEEE
15 years 10 months ago
2009
IEEE
The amount of electronics in vehicles is growing quickly, thus systems are becoming increasingly complex which makes the engineering of these software intensive systems more and m...
137
Voted
CSCWD
2008
Springer
15 years 5 months ago
2008
Springer
: The Software Engineering community has been trying to get fast and accurate software estimations for many years. Most of the proposed methods require historical information and/o...