2430 search results - page 385 / 486 » Tool support for quality-driven development of software arch... |
105
click to vote
ICALT
2006
IEEE
15 years 7 months ago
2006
IEEE
This paper describes the design, development and qualitative evaluation of a web-based personalized assessment service of an object–oriented programming course at the University...
165
click to vote
FAABS
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. The design of reactive systems must comply with logical correctness (the system does what it is supposed to do) and timeliness (the system has to satisfy a set of tempora...
109
click to vote
CAEPIA
2003
Springer
15 years 6 months ago
2003
Springer
Nowadays there is a great effort underway to improve the World Wide Web. A better content organisation, allowing automatic processing, leading to the Semantic Web is one of the mai...
139
click to vote
TCS
2002
15 years 1 months ago
2002
The Common Algebraic Specification Language Casl is an expressive language for the formal specification of functional requirements and modular design of software. It has been desi...
109
click to vote
RAID
2010
Springer
14 years 12 months ago
2010
Springer
Malicious software includes functionality designed to block discovery or analysis by defensive utilities. To prevent correct attribution of undesirable behaviors to the malware, it...