1304 search results - page 143 / 261 » Model-Driven Engineering for Requirements Analysis |
163
click to vote
ATAL
2003
Springer
15 years 9 months ago
2003
Springer
Security plays an important role in the development of multiagent systems. However, a careful analysis of software development processes shows that the definition of security requ...
142
click to vote
AOSE
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Nowadays, information systems have to perform in complex, heterogeneous environments, considering a variety of system users with different needs and preferences. Software...
116
click to vote
ICSE
2007
IEEE-ACM
16 years 4 months ago
2007
IEEE-ACM
The Verifying Compiler (VC) project is a core component of the Dependable Systems Evolution Grand Challenge. The VC offers the promise of automatically proving that a program or c...
136
click to vote
CODES
2003
IEEE
15 years 9 months ago
2003
IEEE
The analysis of the amount of human resources required to complete a project is felt as a critical issue in any company of the electronics industry. In particular, early estimatin...
159
click to vote
RE
1999
Springer
15 years 8 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 ...