665 search results - page 62 / 133 » Extending Software Development Methodologies to Support Trus... |
IEAAIE
2004
Springer
15 years 4 months ago
2004
Springer
This paper presents a methodology to automate natural language requirements analysis and class model generation based on the Rational Unified Process (RUP). Use-case language schem...
CAV
2005
Springer
15 years 4 months ago
2005
Springer
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...
ER
2004
Springer
15 years 4 months ago
2004
Springer
Social and intentional behaviours appear as two main components of the agent paradigm. Methods of conventional software engineering do not seem to be appropriate to gain a full kno...
107
click to vote
WSC
2007
15 years 1 months ago
2007
The parametrization of business games benefits from the usage of a multi-tier architecture and software services. This paper shows that the multi-tier concept supports parametriz...
ICSE
2009
IEEE-ACM
15 years 11 months ago
2009
IEEE-ACM
Developers frequently integrate complex COTS frameworks and components in software applications. COTS products are often only partially documented, and developers may misuse techn...