358 search results - page 37 / 72 » Introducing Formal Specification Methods in Industrial Pract... |
TOOLS
1999
IEEE
13 years 12 months ago
1999
IEEE
This paper reports on the utilisation of object technology in a university-level course on software development, specifically designed for distance learning, and now enrolling ove...
GECCO
2007
Springer
14 years 1 months ago
2007
Springer
Design for specific customer service plays a crucial role for the majority of the market in modern electronics. However, adaptability to an individual customer results in increasi...
ICCAD
2002
IEEE
14 years 4 months ago
2002
IEEE
We propose to introduce redundant interconnects for manufacturing yield and reliability improvement. By introducing redundant interconnects, the potential for open faults is reduc...
ECMDAFA
2008
Springer
13 years 8 months ago
2008
Springer
In requirements engineering, there are several approaches for requirements modeling such as goal-oriented, aspect-driven, and system requirements modeling. In practice, companies o...
IJCAI
2003
13 years 9 months ago
2003
There has been significant recent progress in reasoning and constraint processing methods. In areas such as planning and finite model-checking, current solution techniques can h...