4917 search results - page 172 / 984 » Software Engineering is Not Computer Science |
120
Voted
ACMSE
1998
ACM
15 years 6 months ago
1998
ACM
– It is difficult to improve software quality by relying on conformance to industry standards by continuously upgrading from one standard or model to another standard or model be...
153
Voted
SPIN
1999
Springer
15 years 7 months ago
1999
Springer
A variety of assume-guarantee model checking approaches have been proposed in the literature. In this paper, we describe several possible implementations of those approaches for ch...
104
Voted
ERSHOV
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. TTCN-3 is a standardized language for specifying and executing test suites that is particularly popular for testing embedded systems. Prior to testing embedded software i...
86
Voted
CACM
2004
15 years 2 months ago
2004
s (theory, abstraction, and design) [2]. They put programming as a subpart of the design component of most of the nine areas, especially algorithms and software engineering. Their ...
140
Voted
CAD
2008
Springer
15 years 2 months ago
2008
Springer
Conventional shape matching for engineering models primarily considers rigid shape similarity. They do not seek global shape similarity while considering large local deformations....