3828 search results - page 157 / 766 » Proof-Based System Engineering Using a Virtual System Model |
171
click to vote
COMPSAC
2005
IEEE
15 years 12 months ago
2005
IEEE
Model driven development (MDD) tackles software complexity through the use of models. However, managing relationships and specifying transformations models at various levels of ab...
170
click to vote
AIS
1999
Springer
15 years 6 months ago
1999
Springer
The past decade has seen the development of a perspective holding that technology is socially constructed (Mackenzie and Wacjman, 1985; Bijker, Hughes and Pinch, 1987; Bijker and L...
145
click to vote
WSC
1997
15 years 7 months ago
1997
Automotive manufacturing is a complex task involving several steps of machining and assembly. Typically, larger components of an automobile such as the body, engine etc. are assem...
150
click to vote
NSDI
2008
15 years 8 months ago
2008
Large-scale network services can consist of tens of thousands of machines running thousands of unique software configurations spread across hundreds of physical networks. Testing ...
165
click to vote
ESOP
2005
Springer
15 years 12 months ago
2005
Springer
ite-state abstraction scheme such as predicate abstraction. The type system, which is also parametric, type checks exactly those programs that are accepted by the model checker. It...