9006 search results - page 251 / 1802 » Modeling Software |
164
click to vote
ICFEM
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Errors in a requirements model have prolonged detrimental effects on reliability, cost, and safety of a software system. It is very costly to fix these errors in later ...
164
click to vote
ADBIS
2005
Springer
16 years 3 days ago
2005
Springer
Patterns and models are artifacts that are assets to their owners. Storing them in a repository and using common interfaces for their management simplifies their usage. This articl...
183
click to vote
TMRA
2005
Springer
16 years 1 days ago
2005
Springer
This work-in-progress report subsumes our ongoing research to develop a Topic Maps centric, modularised system which supports collaborative software development by combining the me...
194
click to vote
JSW
2008
15 years 6 months ago
2008
The current software development environment has been changing into new development paradigms such as concurrent distributed development environment and the so-called open source p...
142
click to vote
FASE
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. In this paper, we present an automata-theoretic approach to Hardware/Software (HW/SW) co-verification. We designed a co-specification framework describing HW/SW systems; ...