10159 search results - page 500 / 2032 » System Design Validation Using Formal Models |
162
click to vote
ESWS
2008
Springer
15 years 6 months ago
2008
Springer
Ontology-Driven Software Development (ODSD) advocates using ontologies for capturing knowledge about a software system at development time. So far, ODSD approaches have mainly focu...
142
click to vote
ICC
2007
IEEE
15 years 11 months ago
2007
IEEE
—The use of adaptively-routed wormhole switched k-ary n-cubes has been motivated by the high path diversity provided by the rich topology of this family of interconnection networ...
152
click to vote
ATVA
2010
Springer
15 years 3 months ago
2010
Springer
: Narrowing the wide conceptual gap between problem and implementation domains is considered a significant factor within software engineering. Currently, such a relation is often o...
124
click to vote
AISS
2010
15 years 2 months ago
2010
Recently, due to problems arising from lattice mismatch in thin film growth in semiconductor manufacturing industry, researchers have shown great interest in modeling the physioch...
124
Voted
IEAAIE
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Testing is the most common validation method in the software industry. It entails the execution of the software system in the real environment. Nevertheless, testing is a...