1606 search results - page 78 / 322 » XML-based programming language modeling: An approach to soft... |
161
click to vote
SCAM
2008
IEEE
16 years 9 days ago
2008
IEEE
Ensuring the correctness and reliability of software systems is one of the main problems in software development. Model checking, a static analysis method, is preponderant in impr...
153
click to vote
EMSOFT
2005
Springer
15 years 11 months ago
2005
Springer
Statecharts are probably the most popular mechanism for behavior modeling of embedded system components. Modeling a component involves using a mainstream language for features tha...
149
click to vote
SIGDOC
2006
ACM
15 years 12 months ago
2006
ACM
We report on the development of a tool which supports software programmers in programming to an interface by providing just in time (JIT) solutions. The development of the tool wa...
151
click to vote
EMSOFT
2009
Springer
16 years 15 days ago
2009
Springer
An important step in model-based embedded system design consists in mapping functional specifications and their tasks/operations onto execution architectures and their ressources...
170
click to vote
ICSE
1998
IEEE-ACM
15 years 10 months ago
1998
IEEE-ACM
Software architecture descriptions are high-level models of software systems. Some researchers have proposed specialpurpose architectural notations that have a great deal of expre...