8627 search results - page 91 / 1726 » Software Engineering Using RATionale |
100
Voted
TPHOL
1998
IEEE
15 years 3 months ago
1998
IEEE
In this paper we illustrate the use of formal methods in the development of a benchmark application we call the Village Telephone System which is characteristic of a class of netwo...
92
Voted
DIAGRAMS
2006
Springer
15 years 2 months ago
2006
Springer
Drawings of water are the earliest, least abstract forms of flow diagram. Representations of ideal or generalised sequences for manufacturing or actual paths for materials between ...
135
Voted
TSE
2010
14 years 9 months ago
2010
BACKGROUND – the systematic review is becoming a more commonly employed research instrument in empirical software engineering. Before undue reliance is placed on the outcomes of...
100
Voted
ANSOFT
1998
14 years 10 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...
79
Voted
TSE
1998
14 years 10 months ago
1998
—There are many standards which are relevant for building safety or mission critical software systems. An effective standard is one that should help developers, assessors, and us...