Genesys: service-oriented construction of property conform code generators

@article{Jrges2008GenesysSC,
  title={Genesys: service-oriented construction of property conform code generators},
  author={Sven J{\"o}rges and Tiziana Margaria and Bernhard Steffen},
  journal={Innovations in Systems and Software Engineering},
  year={2008},
  volume={4},
  pages={361-384}
}
This paper presents Genesys, a framework for the high-level construction of property conform code generators. Genesys is an integral part of jABC, a flexible framework designed to enable a systematic model-driven development of systems and applications on the basis of an (extensible) library of well-defined, reusable building blocks. Within jABC, Genesys manages the construction of code generators for jABC’s models. So far, Genesys has been used to develop code generators for a variety of… CONTINUE READING

Citations

Publications citing this paper.
SHOWING 1-10 OF 29 CITATIONS

References

Publications referenced by this paper.
SHOWING 1-10 OF 41 REFERENCES

Model checking with the JavaABC Framework—from METAGame to GEAR. In: QEES’08, Intern. Symposium on Quality Engineering for Embedded Systems—In conjunction with the ECMDA

  • M Bakera, T Margaria, CD Renner, B Steffen
  • 2008
Highly Influential
18 Excerpts

Modellgetriebene Steuerung eingebetteter Systeme und ihre Anwendung für Lego NXT

  • BE Schulte
  • 2007
Highly Influential
4 Excerpts

NBC/NXC—Next Byte Codes & Not eXactly C

  • J Hansen
  • 2007
Highly Influential
5 Excerpts

Similar Papers

Loading similar papers…