3828 search results - page 379 / 766 » Proof-Based System Engineering Using a Virtual System Model |
176
click to vote
KBSE
2006
IEEE
16 years 22 days ago
2006
IEEE
The Visual Contract Workbench is a tool that supports model-driven development of software systems by lifting the Design by Contract idea, which is usually used at the code level,...
190
click to vote
AOSD
2006
ACM
16 years 21 days ago
2006
ACM
Usually, aspects enhance a software product by being composed - or woven - into it. Here, on the other hand, we use aspects to support the software development process itself. The...
194
click to vote
WSC
1997
15 years 8 months ago
1997
We present a system for describing and solving closed queuing network models of the memory access performance of NUMA architectures. The system consists of a model description lan...
247
click to vote
HICSS
2005
IEEE
16 years 10 days ago
2005
IEEE
The political intentions for the past 20 years have broadly speaking been to reduce the number of publicly owned and publicly run activities. Outsourcing is an often applied way t...
186
click to vote
LADC
2007
Springer
16 years 26 days ago
2007
Springer
Analysis and design patterns are well established as a convenient and reusable way to build high-quality object-oriented software. Patterns combine experience and good practices t...