- Hoare CAR (2003) The verifying compiler: a grand challenge for computing research. J ACM 50(1):63–69
Google Scholar
- Hoare CAR, Misra J (2005) Verified software: theories, tools, experiments. Vision of a Grand Challenge Project. In: Proc. VSTTE. Springer Verlag, Zürich, Switzerland
- Appel AW (2001) Foundational Proof-Carrying Code. In: Proc. LICS ’01, p 247. IEEE Computer Society
- Necula GC (1997) Proof-carrying code. In: Proc. POPL ’97, ACM Press, New York, NY, USA, pp 106–119
- Denney E, Fischer B (2006) Extending source code generators for evidence-based software certification. In: Proc. ISOLA ’06, pp 138–145
- Goos G, Zimmermann W (1999) Verification of Compilers. In: Correct System Design, vol 1710. Springer, Berlin, pp 201–230. http://www.info.uni-karlsruhe.de/papers/CorrectSystemDesign99.ps.gz
- Necula GC (2000) Translation validation for an optimizing compiler. ACM SIGPLAN Notices 35(5): 83–94
Article Google Scholar
- Stürmer I, Weinberg D, Conrad M (2005) Overview of existing safeguarding techniques for automatically generated code. In: Proc. SEAS ’05, ACM Press, New York, NY, USA, pp 1–6
- Coglio A, Green C (2005) A constructive approach to correctness, exemplified by a generator for certified Java Card Applets. In: Proc. VSTTE
- Margaria T, Steffen B (2004) Lightweight coarse-grained coordination: a scalable system-level approach. STTT 5(2–3): 107–123
Google Scholar
- Margaria T, Steffen B, Reitenspieß M (2005) Service-oriented design: the roots. In: ICSOC 2005: 3rd ACMSIGSOFT/SIGWEB Int. Conf. on Service-Oriented Computing, LNCS N.3826, Springer, Amsterdam, pp 450–464
- Margaria T, Steffen B (2006) Service engineering: linking business and IT. IEEE Comput 39(10): 45–55
Google Scholar
- Steffen B, Margaria T, Nagel R, Jörges S, Kubczak C (2006) Model-Driven Development with the jABC. In: HVC—IBM Haifa Verification Conference, LNCS N.4383. Springer, Berlin, pp 92–108
- Technische Universität Dortmund: jABC Website (2007). http://www.jabc.de
- OASIS: WS-BPEL 2.0 Specification (2007). http://docs.oasis-open.org/wsbpel/2.0/wsbpel-v2.0.pdf
- Hansen J (2007) NBC/NXC—Next Byte Codes & Not eXactly C. http://bricxcc.sourceforge.net/nbc/
- Clarke EM, Grumberg O, Peled D (2001) Model checking. MIT Press, Cambridge, MA, USA
Google Scholar
- Queille JP, Sifakis J (1982) Specification and verification of concurrent systems in CESAR. In: Proc. 5th Colloquium on International Symposium on Programming. Springer, London, UK, pp 337–351
- Margaria T, Steffen B (2008) Agile IT: thinking in user-centric models. In: Proc. ISoLA 2008, CCIS N.17, Springer, pp 493–505
- Margaria T, Steffen B (2008) Business process modelling in the jABC: the one-thing approach. In: Handbook of research on business process modeling. IGI Global
- Steffen B, Narayan P (2007) Full life-cycle support for end-to-end processes. IEEE Computer 40(11): 64–73
Google Scholar
- ITU: General recommendations on telephone switching and signaling-intelligent network: Introduction to intelligent network capability set 1, Recommendation Q.1211. Tech. rep., Standardization Sector of ITU, Geneva (1993)
- ITU-T: Recommendation Q.1203. Intelligent Network–Global Functional Plane Architecture. Tech. rep., Standardization Sector of ITU (1992)
- Apache Software Foundation: Velocity Website (2007). http://velocity.apache.org/
- The jABC Team (2008) jABC Common Sibs. http://www.jabc.de/sib
- Niemeyer P (2008) BeanShell—lightweight scripting for Java. http://www.beanshell.org/
- The Codehaus (2008) Groovy Website. http://groovy.codehaus.org/
- Müller-Olm M, Schmidt D, Steffen B (1999) Model-checking: a tutorial introduction. In: Proc. SAS, pp 330–354
- Steffen B, Margaria T, Braun V, Kalt N (1997) Hierarchical service definition. In: Annual Review of Communication. Int. Engineering Consortium Chicago (USA), IEC, pp 847–856
- Bakera M, Margaria T, Renner CD, Steffen B (2008) 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 2008. IEEE CS
- Bakera M, Margaria T, Renner CD, Steffen B (2008) Verification, diagnosis and adaptation: tool-supported enhancement of the model-driven verification process. Innov Syst Softw Eng NASA J (in press)
- Bakera M, Margaria T, Renner CD, Steffen B (2007) Verification, diagnosis and adaptation: tool supported enhancement of the model-driven verification process. In: ISoLA 2008 Workshop, pp 85–97
- Lecarme O, Peyrolle-Thomas M-C (1978) Self-compiling Compilers: An Appraisal of their Implementation and Portability. Softw. Pract. Exp. 8(2): 149–170
Article MATH Google Scholar
- AndroMDA Website (2008). http://www.andromda.org/
- Engeler E (1971) Structure and meaning of elementary programs. In: Symposium on Semantics of Algorithmic Languages. Springer, Berlin. Lect. Notes in Mathematics, vol 188
- Andrews P, Stuber J, Griffiths L, Bagnall B, Scholz M, Rinkens T, Solorzano J (2008) lejos website. http://lejos.sourceforge.net/
- Jörges S, Kubczak C, Pageau F, Margaria T (2007) Model driven design of reliable robot control programs using the jABC. In: Proc. EASe’07, pp 137–148
- Schulte BE (2007) Modellgetriebene Steuerung eingebetteter Systeme und ihre Anwendung für Lego NXT. Master’s thesis, Chair for Programming Systems, Technische Universität Dortmund
- SUN Microsystems (2008) The Java ME Platform. http://java.sun.com/javame/index.jsp
- SUN Microsystems (2008) Connected Limited Device Configuration (CLDC). http://java.sun.com/products/cldc/
- Active Endpoints: The ActiveBPEL Community Edition Engine (2008) http://www.activevos.com/community-open-source.php
- Gaeb J (2007) Entwicklung eines BPEL-Plugins für das jABC-Framework. Master’s thesis, Chair for Programming Systems, Technische Universität Dortmund
- W3C (2008) W3C Document Object Model. http://www.w3.org/DOM/
- Hösel S (2008) Entwicklung eines Plug-ins für das jABC-Framework zur Integration von .NET mittels C#. Master’s thesis, Service and Software Engineering, Universität Potsdam
- Jörges S, Margaria T, Steffen B (2006) FormulaBuilder: a tool for graph-based modelling and generation of formulae. In: Proc. ICSE’06, pp 815–818
- Dwyer M, Avrunin G, Corbett J (1999) Patterns in property specifications for finite-state verification. In: Proc. ICSE ’99, pp 411–420. IEEE CS Press
- Kozen D (1983) Results on the propositional mu-calculus. Theor Comput Sci 27: 333–354
Article MATH MathSciNet Google Scholar
- SUN Microsystems (2008) Java EE at a Glance. http://java.sun.com/javaee/
- SUN Microsystems (2008) Enterprise JavaBeans Technology. http://java.sun.com/products/ejb/
- SWS Challenge Website (2008). http://sws-challenge.org
- Arenas A, Bicarregui J, Margaria T (2006) The FMICS view on the verified software repository. J Integ Des Process Sci 10: 47–54
Google Scholar
- Margaria T, Kubzcak C, Steffen B (2008) Bio-jeti: a service integration, design, and provisioning platform for orchestrated bioinformatics processes. BioMed Central (BMC) Bioinformatics 2008; Supplement dedicated to Network Tools and Applications in Biology 2007 Workshop (NETTAB 2007) ISSN 1471-2105. Published online 2008 April 25. 9(Suppl 4):S12. doi:10.1186/1471-2105-9-S4-S12
- Steffen B, Margaria T, Nagel R (2005) Remote integration and coordination of verification tools in jETI. In: Proc. ECBS 2005, 12th IEEE Int. Conf. on the Engineering of Computer Based Systems, pp 431–436. IEEE Computer Soc. Press, Greenbelt (USA)
- W3C (2008) Web Services Description Working Group (Specifications & Drafts). http://www.w3.org/2002/ws/desc/
- W3C (2008) W3C XML Protocol Working Group. http://www.w3.org/2000/xp/Group/
- jax-ws: JAX-WS Reference Implementation (2008). http://jax-ws.dev.java.net/
- Kubczak C, Margaria T, Steffen B, Nagel R (2008) Service-oriented mediation with jABC/jETI. In: Petrie C, Margaria T, Zaremba M, Lausen H (eds) Semantic Web services challenge—results from the first year. Springer, Berlin, pp 71–99 (in press)
- Margaria T, Bakera M, Kubczak C, Naujokat S, Steffen B (2008) Automatic generation of the SWS-challenge mediator with jABC/ABC. In: Petrie C, Margaria T, Zaremba M, Lausen H (eds) Semantic Web Services challenge - results from the first year. Springer, Berlin, pp 119–138 (in press)
- W3C (2008) W3C XML Schema. http://www.w3.org/XML/Schema
- Lamprecht AL, Margaria T, Steffen B (2006) Data-flow analysis as model checking within the jABC. In: CC, pp 101–104
- Steffen B (1991) Data flow analysis as model checking. In: TACS ’91: Proceedings of the International Conference on Theoretical Aspects of Computer Software. Springer, Berlin, pp 346–365
- Niese O, Steffen B, Margaria T, Hagerer A, Brune G, Ide HD (2001) Library-based design and consistency checking of system-level industrial test cases. In: Proc. FASE 2001, LNCS, vol 2029. Springer, Berlin, pp 233–248
- Object Mentor: JUnit Website (2007). http://www.junit.org/