358 search results - page 37 / 72 » Introducing Formal Specification Methods in Industrial Pract... |
159
Voted
TOOLS
1999
IEEE
15 years 8 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...
148
click to vote
GECCO
2007
Springer
15 years 10 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...
120
Voted
ICCAD
2002
IEEE
16 years 18 days 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...
137
click to vote
ECMDAFA
2008
Springer
15 years 4 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...
126
click to vote
IJCAI
2003
15 years 5 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...