1739 search results - page 31 / 348 » Writing Good Software Engineering Research Paper |
VSTTE
2005
Springer
15 years 6 months ago
2005
Springer
This paper argues that specified blocks have every advantage over the combination of assertions, preconditions, postconditions, invariants, and variants, both for verifying program...
102
Voted
ISSRE
2006
IEEE
15 years 6 months ago
2006
IEEE
The widespread deployment of graphical-user interfaces (GUIs) has increased the overall complexity of testing. A GUI test designer needs to perform the daunting task of adequately...
122
Voted
CBSE
2006
Springer
15 years 2 months ago
2006
Springer
This paper presents a software product line architecture where applications are assembled by installing a set of plugins on a common software base. In this architecture, the softwa...
108
Voted
B
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Writing a formal specification for real-life, industrial problems is a difficult and error prone task, even for experts in formal methods. In the process of specifying a...
SIGADA
2005
Springer
15 years 6 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...