3828 search results - page 598 / 766 » Proof-Based System Engineering Using a Virtual System Model |
169
click to vote
ICSE
2009
IEEE-ACM
16 years 28 days ago
2009
IEEE-ACM
Developers use unit testing to improve the quality of software systems. Current development tools for unit testing help to automate test execution, to report results, and to gener...
139
click to vote
AGILEDC
2007
IEEE
16 years 15 days ago
2007
IEEE
This report outlines the experiences of the Microsoft Visual Studio Tools for Office product unit (hereafter referred to as “product unit”) as it applied agile principles and ...
173
click to vote
CITA
2005
IEEE
15 years 11 months ago
2005
IEEE
- We present an architecture for data streams based on structures typically found in web cache hierarchies. The main idea is to build a meta level analyser from a number of levels ...
153
click to vote
ISPASS
2005
IEEE
15 years 11 months ago
2005
IEEE
We introduce a fast and accurate technique for initializing the directory and cache state of a multiprocessor system based on a novel software structure called the memory timestam...
180
click to vote
QSIC
2005
IEEE
15 years 11 months ago
2005
IEEE
Design notations play an important role in designing software. Agent UML (AUML), which extends the widelyused UML notation, has proposed a number of notations for modelling agent ...