1005 search results - page 98 / 201 » Formal Software Development in MAYA |
149
click to vote
COMPSAC
2005
IEEE
15 years 6 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...
164
click to vote
TACS
2001
Springer
15 years 9 months ago
2001
Springer
The state of the practice in object-oriented software development has moved beyond reuse of code to reuse of conceptual structures such as design patterns. This paper draws attenti...
155
click to vote
HASE
1999
IEEE
15 years 8 months ago
1999
IEEE
Most complex systems today contain software, and systems failures activated by software faults can provide lessons for software development practices and software quality assuranc...
132
click to vote
RE
2001
Springer
15 years 9 months ago
2001
Springer
A logic model checker can be an effective tool for debugging software applications. A stumbling block can be that model checking tools expect the user to supply a formal statement...
128
click to vote
FASE
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. In model-based development, a formal description of the software (the model) is the central artifact that drives other development activities. The availability of a model...