2212 search results - page 143 / 443 » Automated software wrapping |
137
click to vote
SEKE
2005
Springer
15 years 9 months 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...
116
click to vote
ECBS
2006
IEEE
15 years 8 months ago
2006
IEEE
We present in this paper a unified paradigm for the verification and validation of software and systems engineering design models expressed in UML 2.0 or SysML. This paradigm reli...
137
click to vote
ERSHOV
2006
Springer
15 years 8 months ago
2006
Springer
The article presents an approach to development of software standards usage infrastructure. The approach is based on formalization of standards and automated conformance test deriv...
148
click to vote
CASES
2001
ACM
15 years 8 months ago
2001
ACM
In this paper we describe a vision for the future evolution of Embedded SW (ESW) design methodologies as part of overall Embedded Systems (ES) development. Fundamentally, we belie...
142
click to vote
IJCAI
2007
15 years 5 months ago
2007
Testing embedded software systems on the control units of vehicles is a safety-relevant task, and developing the test suites for performing the tests on test benches is time-consu...