4799 search results - page 716 / 960 » Model Based Requirements Engineering for Embedded Software |
179
click to vote
WSC
2001
15 years 8 months ago
2001
The United States Department of Defense (DoD) has, over the past several years, emphasized the need to employ simulation based acquisition (SBA) in engineering and development. Di...
190
click to vote
AIME
2007
Springer
16 years 22 days ago
2007
Springer
Software applications that work with biomedical data have significant knowledge-management requirements. Formal knowledge models and knowledge-based methods can be very useful in m...
166
click to vote
ICSM
1999
IEEE
15 years 10 months ago
1999
IEEE
Many coupling measures have been proposed in the context of object-oriented (OO) systems. In addition, several studies have highlighted the complexity of using dependency analysis...
172
click to vote
FSEN
2007
Springer
15 years 10 months ago
2007
Springer
This paper deals with test case selection from axiomatic specifications whose axioms are quantifier-free first-order formulae. Test cases are modeled as ground formulae and any spe...
157
click to vote
COMPSAC
2010
IEEE
15 years 4 months ago
2010
IEEE
Web services and service-oriented architecture (SOA) have become the de facto standard for designing distributed and loosely coupled applications. Many servicebased applications de...