2493 search results - page 309 / 499 » Tool Support for Design by Contract |
HICSS
2003
IEEE
15 years 3 months ago
2003
IEEE
An increasing number of Web-based systems, including brainstorming, decision-making, and negotiation support systems, are being developed to aid users in solving particular types ...
CAISE
2003
Springer
15 years 3 months ago
2003
Springer
In this paper we discuss how the concept of ontology can be beneficial for the authoring support of Web-based educational systems (WBES). We take a semantic perspective on the know...
WSC
2007
15 years 27 days ago
2007
Co-design modeling is considered key toward handling the complexity and scale of network systems. The ability to separately specify the software and hardware aspects of computer n...
ECTEL
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. Knowledge work is performed in all occupations and across all industries. The level of similarity of knowledge work allows for designing supporting tools that can be wide...
DATE
1999
IEEE
15 years 2 months ago
1999
IEEE
Software programming languages, such as C/C++, have been used as means for specifying hardware for quite a while. Different design methodologies have exploited the advantages of f...