1527 search results - page 37 / 306 » From Requirements to Design: Formalizing the Key Steps |
HICSS
2007
IEEE
14 years 2 months ago
2007
IEEE
In a world where intelligence can be arguably measured by an animal’s ability to use tools, are we marking ourselves for natural selection? Software development tools are steadi...
ICFCA
2005
Springer
14 years 1 months ago
2005
Springer
A key difficulty in the maintenance and evolution of complex software systems is to recognize and understand the implicit dependencies that define contracts that must be respecte...
ATAL
2005
Springer
14 years 1 months ago
2005
Springer
Whilst tools assist the various tasks required to develop a multi-agent system (MAS), yet there still remains a gap between the generation of MAS models and program code. AUML dev...
IFIPTM
2010
13 years 6 months ago
2010
Historically, various different notions of trust can be found, each addressing particular aspects of ICT systems, e.g. trust in electronic commerce systems based on reputation and...
RE
1999
Springer
13 years 12 months ago
1999
Springer
This paper describes a feasibility study into the use of a formal requirements modeling method (SCR) to assist with Independent Verification and Validation of change requests for ...