4919 search results - page 377 / 984 » A Process-Ontological Model for Software Engineering |
186
click to vote
ISSS
2002
IEEE
15 years 11 months ago
2002
IEEE
ForSyDe (FORmal SYstem DEsign) is a methodology which addresses the design of SoC applications which may contain control as well as data flow dominated parts. Starting with a for...
181
click to vote
LCTRTS
1999
Springer
15 years 10 months ago
1999
Springer
We present a design tool for automated synthesis of embedded systems on distributed COTS-based platforms. Our synthesis tool consists of (1) a graphical user interface for input o...
144
click to vote
ICSE
2007
IEEE-ACM
16 years 6 months ago
2007
IEEE-ACM
Large design models contain tens of thousands of model elements. Designers easily get overwhelmed maintaining the consistency of such design models over time. Not only is it hard ...
171
click to vote
QSIC
2007
IEEE
16 years 14 days ago
2007
IEEE
There have been various proposals for the formalization of appropriate viewpoint-based frameworks. Each of these approaches have been devised with a specific motive and to addres...
155
click to vote
COMPSAC
2002
IEEE
15 years 11 months ago
2002
IEEE
A transferable quality model must be general. This implies that only the high level characteristics can be transferred into different settings and that the refinement of the charac...