1121 search results - page 75 / 225 » Building Formal Requirements Models for Reliable Software |
83
Voted
ISPW
2008
IEEE
15 years 6 months ago
2008
IEEE
Defining process standards by integrating, harmonizing, and standardizing heterogeneous and often implicit processes is an important task, especially for large development organiza...
118
click to vote
DEXAW
2008
IEEE
15 years 1 months ago
2008
IEEE
We have proposed in the past three separate methodologies for secure software development. We have found that they have many common and complementary aspects and we proposed a com...
163
click to vote
FIW
2009
14 years 9 months ago
2009
A significant number of failures in e-voting systems have arisen because of poorly specified requirements, combined with an ad-hoc approach to engineering multiple variations of si...
135
click to vote
AOSE
2007
Springer
15 years 6 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...
IASTEDSE
2004
15 years 1 months ago
2004
This paper describes a case study on application of natural language processing in very early stages of the requirements engineering. In our previous work [7] we have shown how na...