219 search results - page 4 / 44 » PrIMe: a software engineering methodology for developing pro... |
ICSE
2003
IEEE-ACM
14 years 7 months ago
2003
IEEE-ACM
Requirements Engineering (RE) deals with the early phases of software engineering namely requirement elicitation, modeling, specification and validation. Architecture of a softwar...
SIGADA
2005
Springer
14 years 1 months ago
2005
Springer
The purpose of this research paper is to examine (1) why formal methods are required for software systems today; (2) the Praxis High Integrity Systems’ Correctness-by-Constructi...
QSIC
2005
IEEE
14 years 1 months ago
2005
IEEE
Testing applications in service-oriented architecture (SOA) environments needs to deal with issues like the unknown communication partners until the service discovery, the impreci...
KBSE
2009
IEEE
14 years 2 months ago
2009
IEEE
—Usability analysis is an important step in software development in order to improve certain aspects of the system. However, it is often a challenge especially when it comes to e...
DATE
2009
IEEE
14 years 2 months ago
2009
IEEE
—This paper reports on experience gained and lessons learned from an intensive investigation of model-driven engineering methodology and technology for application to high-integr...