4799 search results - page 454 / 960 » Model Based Requirements Engineering for Embedded Software |
165
click to vote
ECLIPSE
2007
ACM
15 years 10 months ago
2007
ACM
In this paper we detail the design and implementation of an Eclipse plug-in that supports construction, analysis and elaboration of Modal Transition Systems. The plug-in supports ...
167
click to vote
ANCS
2008
ACM
15 years 9 months ago
2008
ACM
Nearly all programmable commercial hardware solutions offered for high-speed networking systems are capable of meeting the performance and flexibility requirements of equipment ve...
169
click to vote
KBSE
2007
IEEE
16 years 1 months ago
2007
IEEE
Software developers often do not build software from scratch but reuse software libraries. In theory, the APIs of a library should be stable, but in practice they do change and th...
188
click to vote
ESAW
2009
Springer
16 years 1 months ago
2009
Springer
Autonomous software agents provide a promising solution to the needs of decentralised networked systems, able to adapt their behaviour in a complex and dynamically changing environ...
194
click to vote
ICSE
2008
IEEE-ACM
16 years 7 months ago
2008
IEEE-ACM
Software architecture evaluation has a crucial role in the life cycle of software intensive systems. In this paper we propose an approach to empower a software architecture evalua...