1481 search results - page 73 / 297 » Enriching the Software Development Process by Formal Methods |
104
Voted
COMPSAC
2002
IEEE
15 years 8 months ago
2002
IEEE
Achievement of quality in software design, while never easy, is made more difficult by the inherent complexity of hard real-time (HRT) design. Furthermore, timing requirements in...
175
click to vote
AOSE
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Agent-Oriented Software Engineering (AOSE) methodologies are proposed to develop complex distributed systems based upon the agent paradigm. The natural implementation for...
128
click to vote
IAJIT
2010
15 years 1 months ago
2010
: The software capability maturity model has become a popular model for enhancing software development processes with the goal of developing high-quality software within budget and...
125
Voted
ICDE
2007
IEEE
15 years 7 months ago
2007
IEEE
Data mining techniques and machine learning methods are commonly used in several disciplines. It is possible that they could also provide a basis for quality assessment of softwar...
132
Voted
ICSE
2005
IEEE-ACM
16 years 3 months ago
2005
IEEE-ACM
A fleet of emerging agile methods is both gaining popularity and generating lots of controversy. Real-world examples argue for (e.g. [4]) and against (e.g. [6]) agile methods. Sev...