7202 search results - page 1228 / 1441 » Software System Engineering: A Tutorial |
172
click to vote
ARCS
2004
Springer
15 years 12 months ago
2004
Springer
: Mechatronic units are characterized by a complex interaction of functions from mechanics, electronics, communication and computer systems. These different fields of technology as...
162
click to vote
CBSE
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Long running applications often need to adapt due to changing requirements or changing environment. Typically, such adaptation is performed by dynamically adding or remov...
169
click to vote
CSCLP
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We propose to use bilattice as a constraint valuation structure in order to represent truth and belief at the same time. A bilattice is a set which owns two lattices orde...
145
click to vote
FATES
2004
Springer
15 years 12 months ago
2004
Springer
We present a technique for specifying coverage criteria and a method for generating test suites for systems whose behaviours can be described as extended finite state machines (EF...
188
click to vote
FSTTCS
2004
Springer
15 years 12 months ago
2004
Springer
The class of visibly pushdown languages has been recently defined as a subclass of context-free languages with desirable closure properties and tractable decision problems. We stu...