10159 search results - page 449 / 2032 » System Design Validation Using Formal Models |
136
click to vote
FM
2001
Springer
15 years 9 months ago
2001
Springer
The Irish School of Constructive Mathematics (M♣ c ), which extends the VDM, exploits an algebraic notation based upon monoids and their morphisms for the purposes of abstract mo...
143
click to vote
CGF
1999
15 years 4 months ago
1999
In this paper the notion of free form feature for aesthetic design is presented. The design of industrial products constituted by free form surfaces is done by using CAD systems r...
149
click to vote
GECCO
2008
Springer
15 years 5 months ago
2008
Springer
We are interested in engineering smart machines that enable backtracking of emergent behaviors. Our SSNNS simulator consists of hand-picked tools to explore spiking neural network...
151
click to vote
IESS
2007
Springer
15 years 11 months ago
2007
Springer
Abstract System level design is considered a major approach to tackle the complexity of modern System-on-Chip designs. Embedded software within SoCs is gaining importance as it add...
169
click to vote
FM
2008
Springer
15 years 6 months ago
2008
Springer
The declarative modeling language Alloy and its automatic analyzer provide an effective tool-set for building designs of systems and checking their properties. The Alloy Analyzer p...