1559 search results - page 21 / 312 » Software needs engineering: a position paper |
133
Voted
ANSOFT
1998
15 years 3 months ago
1998
Programmes in “Software Engineering” have become a source of contention in many universities. Computer Science departments, many of which have used that phrase to describe ind...
122
Voted
SIGADA
2005
Springer
15 years 9 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...
120
Voted
ICSE
2009
IEEE-ACM
15 years 1 months ago
2009
IEEE-ACM
Challenges in the engineering of self-adaptive software have been recently discussed and summarized in a seminal research road map. Following it, we focus on requirements engineer...
165
Voted
ICSEA
2009
IEEE
15 years 1 months ago
2009
IEEE
In this paper, we present our position and experience on integrating formal methods with the Model-driven Engineering (MDE) approach to software development. Both these two approa...
150
Voted
UML
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Current trends in software development show a move towards supporting autonomous components (agents). The accurate timing of interactions between such components is growi...