4258 search results - page 11 / 852 » Languages and Interactive Software Development |
LPAR
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. The paper presents a combination of interactive and automatic tools in the area of software verification. We have integrated a newly developed software model checker int...
131
click to vote
MODELS
2010
Springer
14 years 10 months ago
2010
Springer
This paper describes a novel approach to embedded software development. Instead of using a combination of C code and modeling tools, we propose an approach where modeling and progr...
103
click to vote
ICSE
1999
IEEE-ACM
15 years 4 months ago
1999
IEEE-ACM
Software architectures have the potential to substantially improve the development and evolution of large, complex, multi-lingual, multi-platform, long-running systems. However, i...
SIGADA
1993
Springer
15 years 3 months ago
1993
Springer
145
click to vote
HICSS
2011
IEEE
14 years 3 months ago
2011
IEEE
Open source projects do have requirements; they are, however, mostly informal, text descriptions found in requests, forums, and other correspondence. Understanding of such require...