6201 search results - page 131 / 1241 » Implementation of Axiomatic Language |
136
click to vote
EMSOFT
2006
Springer
15 years 8 months ago
2006
Springer
We designed and implemented a new programming language called Hierarchical Timing Language (HTL) for hard realtime systems. Critical timing constraints are specified within the la...
176
click to vote
MODELS
2010
Springer
15 years 2 months ago
2010
Springer
This paper describes a novel approach to embedded software development. Instead of using a combination of C code and modeling tools, we propose an approach where modeling and progr...
156
click to vote
MODELS
2010
Springer
15 years 2 months ago
2010
Springer
Model transformation is one of the pillars of Model-Driven Engineering (MDE). The increasing complexity of systems and modelling languages has dramatically raised the complexity an...
128
click to vote
ACMSE
2006
ACM
15 years 8 months ago
2006
ACM
Programming paradigms are often skewed towards a particular domain of problems, thus one effective way to utilize them is through a multiparadigm approach to software development....
129
click to vote
VL
1995
IEEE
15 years 7 months ago
1995
IEEE
After more than a decade of research, visual languages have still not become everyday programming tools. On a short term, an integration of visual languages with well-established ...