2588 search results - page 101 / 518 » Engineering Systems Which Generate Emergent Functionalities |
156
click to vote
DATE
2010
IEEE
15 years 2 months ago
2010
IEEE
—Model-Based Development (MBD) provides an al level of abstraction, the model, which lets engineers focus on the business aspect of the developed system. MBD permits automatic tr...
158
Voted
APSEC
2004
IEEE
15 years 7 months ago
2004
IEEE
Unit testing is a methodology for testing small parts of an application independently of whatever application uses them. It is time consuming and tedious to write unit tests, and ...
164
click to vote
FDL
2006
IEEE
15 years 10 months ago
2006
IEEE
In the last few years the embedded systems design discipline required new design methodologies and new specification languages to support system engineers in developing heterogen...
172
click to vote
KBSE
2010
IEEE
15 years 2 months ago
2010
IEEE
Software testing has been commonly used in assuring the quality of database applications. It is often prohibitively expensive to manually write quality tests for complex database ...
146
click to vote
ATVA
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Non-freely generated data types are widely used in case studies carried out in the theorem prover KIV. The most common examples are stores, sets and arrays. We present an...