4799 search results - page 386 / 960 » Model Based Requirements Engineering for Embedded Software |
238
click to vote
TASE
2010
IEEE
15 years 1 months ago
2010
IEEE
Airport Baggage Handling is a field of automation systems that is currently dependent on centralised control systems and conventional automation programming techniques. In this and...
163
click to vote
COMPSAC
2006
IEEE
16 years 25 days ago
2006
IEEE
Model-checking techniques are successfully used in the verification of both hardware and software systems of industrial relevance. Unfortunately, the capability of current techni...
256
click to vote
ICSEA
2009
IEEE
15 years 4 months ago
2009
IEEE
The emerging Model-Driven Engineering paradigm advocates the use of models as first-class citizens in the software development process, while artifacts such as documentation and so...
168
click to vote
HICSS
2006
IEEE
16 years 25 days ago
2006
IEEE
— System software strongly relies on the availability of static as well as dynamic adaptation techniques. With AspectOriented Programming (AOP) it is now possible to adapt even p...
218
click to vote
EDCC
2008
Springer
15 years 8 months ago
2008
Springer
In avionics domain, the software applications grew to millions of source lines of code representing important development expenditures. To cut the costs, the avionics suppliers ar...