1481 search results - page 135 / 297 » Enriching the Software Development Process by Formal Methods |
166
Voted
AGTIVE
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Domain specific modeling languages are of increasing importance for the development of software and other systems. Meta tools are needed to support rapid development of d...
129
Voted
DAGSTUHL
2006
15 years 5 months ago
2006
Programming technologies have improved continuously during the last decades, but from an Information Systems perspective, some well-known problems associated to the design and impl...
116
Voted
IWPC
2002
IEEE
15 years 8 months ago
2002
IEEE
This paper proposes an approach and a process to recover traceability links between source code and free text documents in software system developed with extensive use of COTS, mi...
141
Voted
COMPSAC
2005
IEEE
15 years 5 months ago
2005
IEEE
Component-based software development (CBSD) offers many advantages like reduced product time to market, reduced complexity and cost etc. Despite these advantages its wide scale ut...
136
Voted
IUI
1997
ACM
15 years 8 months ago
1997
ACM
FUSE (Formal User Interface Specification Environment) is an integrated user interface development environment that offers tool-based support for all phases of the interface desig...