1116 search results - page 40 / 224 » An Eclipse-based tool framework for software model managemen... |
127
Voted
FATES
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. The starting point for Model-Based Testing is an implementation relation that formally defines when a formal model representing the System Under Test conforms to a formal...
148
Voted
IPPS
2007
IEEE
15 years 11 months ago
2007
IEEE
In this paper we present a software tool for the simulation of distributed real-time embedded systems. Our tool is based on the popular NS-2 package for simulating the networking ...
149
click to vote
ISPW
2007
IEEE
15 years 11 months ago
2007
IEEE
The primary objective of all software engineering courses is to help students learn how to develop successful software systems with good software engineering practices. Various too...
174
Voted
ENTCS
2006
15 years 4 months ago
2006
Model-Driven Architecture is an approach of the OMG, its objective is to tackle problems such as: the high availability that a software product requires to be ready for use, the h...
126
click to vote
ISN
1999
Springer
15 years 8 months ago
1999
Springer
The competitive pressures of the telecoms sector are leading to a major push towards the automation and integration of many operational support processes. This creates pressures to...