9974 search results - page 455 / 1995 » Software Interconnection Models |
159
click to vote
JSS
2002
15 years 6 months ago
2002
As a baseline for software development, a correct and complete requirements definition is one foundation of software quality. Previously, a novel approach to static testing of sof...
171
Voted
SIGSOFT
2010
ACM
15 years 4 months ago
2010
ACM
Software is a critical enabling technology in nearly all aspects of climate change, from the computational models used by climate scientists to improve our understanding of the im...
139
click to vote
DATE
2002
IEEE
15 years 11 months ago
2002
IEEE
We present a design method (HASoC) for the lifecycle modelling of embedded systems that are targeted primarily, but not necessarily, at SoC implementations. The object-oriented de...
210
click to vote
FASE
2005
Springer
16 years 11 days ago
2005
Springer
Model Transformation has become central to most software engineering activities. It refers to the process of modifying a (usually graphical) model for the purpose of analysis (by i...
143
click to vote
APSEC
2004
IEEE
15 years 10 months ago
2004
IEEE
To formalize a software process, its important aspects must be extracted as a model. Many processes are used repeatedly, and the ability to automate a process is also desired. One...