8627 search results - page 54 / 1726 » Software Engineering Using RATionale |
RWEB
2010
Springer
13 years 7 months ago
2010
Springer
Ontologies constitute formal models of some aspect of the world that may be used for drawing interesting logical conclusions even for large models. Software models capture relevant...
QSIC
2003
IEEE
14 years 3 months ago
2003
IEEE
The goal of this paper is to examine the Japanese experience with the software development process, the challenges they face and how formal engineering methods, in particular SOFL...
REFSQ
2007
Springer
14 years 4 months ago
2007
Springer
SEW
2005
IEEE
14 years 3 months ago
2005
IEEE
CAISE
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. This paper uses a framework drawn from work in the philosophy of science to characterize the concepts of program correctness that have been used in software engineering, ...