715 search results - page 97 / 143 » Application of Formal Methods to the Development of a Softwa... |
MODELS
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. Since the seminal book by the Gang of Four, design patterns have proven an important tool in software development. Over time, more and more patterns have been discovered ...
ICSE
1998
IEEE-ACM
14 years 1 months ago
1998
IEEE-ACM
Component-based software development has proven effective for systems implementation in well-understood application domains, but is still insufficient for the creation of reusable...
GLVLSI
2007
IEEE
14 years 23 days ago
2007
IEEE
This paper describes a formal verification methodology of highnthesis (HLS) process. The abstraction level of the input to HLS is so high compared to that of the output that the v...
IPPS
2007
IEEE
14 years 3 months ago
2007
IEEE
This workshop provides a forum for an overview, project presentations, and discussion of the research fostered and funded initially by the NSF Next Generation Software (NGS) Progr...
DAC
2007
ACM
14 years 24 days ago
2007
ACM
A growing number of networked applications is implemented on increasingly complex automotive platforms with several bus standards and gateways. Together, they challenge the automo...