561 search results - page 77 / 113 » Research in Software Engineering: Paradigms and Methods |
SOCO
2005
Springer
14 years 1 months ago
2005
Springer
Software systems that rely on the component paradigm build new components by assembling existing prefabricated components. Most currently available IDEs support graphical component...
ISSTA
2006
ACM
14 years 1 months ago
2006
ACM
Static analysis has gained much attention over the past few years in applications such as bug finding and program verification. As software becomes more complex and componentize...
CORR
1998
Springer
13 years 7 months ago
1998
Springer
We address the issues of semantics and conversations for agent communication languages and the Knowledge Query Manipulation Language (KQML) in particular. Based on ideas from spee...
IEEEICCI
2007
IEEE
14 years 2 months ago
2007
IEEE
– Object-Oriented Analysis (OOA) has been proposed and applied in software engineering for more than fifteen years. Many researchers and practitioners have published many article...
FORTEST
2008
13 years 9 months ago
2008
Testing is one of the costliest aspects of commercial software development. Model-based testing is a promising approach addressing these deficits. At Microsoft, model-based testin...