1926 search results - page 96 / 386 » Modeling and Model Checking Software Product Lines |
163
Voted
IWSAPF
2000
15 years 9 months ago
2000
Product families promote reuse of software artifacts such as architectures, designs and implementations. Product family architectures are difficult to create due to the need to sup...
145
Voted
WSC
1998
15 years 7 months ago
1998
Mercedes-Benz United States International (MBUSI) built a manufacturing facility for the production of the new M-Class "All Activity Vehicle" (AAV). This plant consists ...
159
click to vote
FAC
2008
15 years 6 months ago
2008
This paper describes how the communication protocol of Mondex electronic purses can be specified and verified against desired security properties. The specification is developed by...
140
click to vote
KBSE
2006
IEEE
16 years 3 days ago
2006
IEEE
Hierarchical diagrams are well-suited for visualizing the structure and decomposition of complex systems. However, the current tools poorly support modeling, visualization and nav...
227
click to vote
APN
2010
Springer
15 years 10 months ago
2010
Springer
AlPiNA is a symbolic model checker for High Level Petri nets. It is comprised of two independent modules: a GUI plugin for Eclipse and an underlying model checking engine. AlPiNAâ€...