1005 search results - page 20 / 201 » Formal Software Development in MAYA |
136
click to vote
SOSYM
2010
14 years 11 months ago
2010
Component-based software engineering (CBSE) is viewed as an opportunity to deal with the increasing complexity of modern-day software. Along with CBSE comes the notion of component...
142
click to vote
AO
2006
15 years 4 months ago
2006
Large software systems are modularized in order to improve manageability. The parts of the software system communicate in order to achieve the desired functionality. To better und...
111
click to vote
PDP
2007
IEEE
15 years 10 months ago
2007
IEEE
Scientific and engineering programming has been around since the beginning of computing, often being the driving force for new system development and innovation. At the same time...
126
click to vote
FM
2008
Springer
15 years 5 months ago
2008
Springer
The use of formal methods can significantly improve software quality. However, many instructors and students consider formal methods to be too difficult, impractical, and esoteric ...
112
click to vote
ASWEC
2008
IEEE
15 years 10 months ago
2008
IEEE
Software developers’ work is much more interesting and multifarious in practice than formal definitions of software development processes imply. Rational models of work are ofte...