2974 search results - page 10 / 595 » Model-Driven Constraint Programming |
103
click to vote
ECMDAFA
2005
Springer
15 years 2 months ago
2005
Springer
The model-driven software development for hard real-time systems promotes the usage of the platform independent model as major design artifact. It is used to develop the software l...
DOCENG
2010
ACM
14 years 10 months ago
2010
ACM
Building authoring applications is a tedious and complex task that requires a high programming effort. Document technologies, especially XML based ones, can help in reducing such ...
RTCSA
2006
IEEE
15 years 3 months ago
2006
IEEE
In this paper, we present a model-driven approach to RTOS-based embedded software development and an automated tool that can produce RTOS-specific code. Our contributions are two ...
SPIN
2004
Springer
15 years 2 months ago
2004
Springer
Abstract. In the classic approach to logic model checking, software verification requires a manually constructed artifact (the model) to be written in the language that is accepted...
HCI
2007
14 years 10 months ago
2007
GUI builder tools are widely used in practice to develop the user interface of software systems. Typically they are visual programming tools that support direct-manipulative assemb...