2493 search results - page 294 / 499 » Tool Support for Design by Contract |
WICSA
2001
15 years 2 days ago
2001
Software architecture research focuses on models of software architectures as specified in architecture description languages (ADLs). As research progresses in specific areas of s...
UML
2005
Springer
15 years 4 months ago
2005
Springer
This paper is not a technical paper that presents a new modelbased UI technique. It is about a project that revisits modeldriven UI design techniques in the context of business pr...
ASPDAC
2007
ACM
15 years 2 months ago
2007
ACM
In a realistic design flow, circuit and system optimizations must interact with physical aspects of the design. For example, improvements in timing and power may require replacing ...
BALT
2006
15 years 2 months ago
2006
Abstract. Modern software engineering attacks its complexity problems by applying well-understood development principles. In particular, the systematic adoption of design patterns ...
DEXAW
2009
IEEE
15 years 5 months ago
2009
IEEE
One of the main limitations in using ontologies in modern information systems is due to the fact that the design and maintenance of ontologies is a complex activity that requires ...