1988 search results - page 168 / 398 » Engineering formal metatheory |
205
click to vote
FDL
2007
IEEE
16 years 27 days ago
2007
IEEE
SystemVerilog encapsulates both design description and verification properties in one language and provides a unified environment for engineers who have the formidable challenge o...
207
click to vote
ADAEUROPE
2007
Springer
16 years 22 days ago
2007
Springer
Current trends in software engineering promote the contention that the use of model-driven approaches should prove as beneficial to high-integrity systems as they have to business ...
228
click to vote
SEAFOOD
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. As the volumes of software development increase and the cost reduction is required, most Japanese IT companies are interested in offshore software outsourcing. Although a...
171
click to vote
SEKE
2005
Springer
16 years 1 days ago
2005
Springer
The emerging consensus on the boundaries and main elements of the Software Engineering (SE) discipline represents an opportunity for the engineering of shared conceptualizations t...
179
click to vote
APSEC
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper describes a process for selecting and evaluating candidates for component based software engineering. The process is aimed at developers sourcing components from third ...