Loose programming with PROPHETS

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 7212 LNCS, Issue , 2012, Pages 94-98

  Naujokat, Stefan ^a   Lamprecht, Anna Lena ^a   Steffen, Bernhard ^a  

^a TU DORTMUND UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

DOMAIN EXPERTS; DOMAIN MODELING; GRAPHICAL PROCESS; PROGRAMMING CONCEPTS; RUNNING APPLICATIONS; SERVICE ORCHESTRATION; TECHNICAL DETAILS; TOOL DEMONSTRATION; GRAPHICAL PROCESS MODELS; INTERFACE COMPATIBILITIES;

SEMANTICS; DATA FLOW ANALYSIS;

SOFTWARE ENGINEERING;

EID: 84859131404     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-28872-2_7     Document Type: Conference Paper

References (8)

1. Lamprecht, A.L., Naujokat, S., Margaria, T., Steffen, B.: Synthesis-Based Loose Programming. In: Proceedings of the 7th International Conference on the Quality of Information and Communications Technology (QUATIC). (September 2010)
2. Steffen, B., Margaria, T., Nagel, R., Jörges, S., Kubczak, C.: Model-Driven Development with the jABC. In: Hardware and Software, Verification and Testing. Volume 4383 of LNCS. Springer Berlin/Heidelberg (2007) 92-108
3. Steffen, B., Margaria, T., Freitag, B.: Module Configuration by Minimal Model Construction. Technical report, Universität Passau (1993)
4. Steffen, B., Margaria, T., von der Beeck, M.: Automatic synthesis of linear process models from temporal constraints: An incremental approach. In ACM/SIGPLAN Int. Workshop on Automated Analysis of Software (AAS'97) (1997)
5. Bakera, M., Margaria, T., Renner, C., Steffen, B.: Tool-supported enhancement of diagnosis in model-driven verification. Innovations in Systems and Software Engineering 5 (2009) 211-228
6. Lamprecht, A.L., Naujokat, S., Steffen, B., Margaria, T.: Constraint-Guided Workflow Composition Based on the EDAM Ontology. In: Proc. of the Workshop on Semantic Web Applications and Tools for Life Sciences. Volume 698., Berlin, CEUR Workshop Proceedings (December 2010)
7. Lamprecht, A.L., Naujokat, S., Margaria, T., Steffen, B.: Semantics-based composition of EMBOSS services. Journal of Biomedical Semantics 2(Suppl 1) (2011)
8. Naujokat, S., Lamprecht, A.L., Steffen, B.: Tailoring Process Synthesis to Domain Characteristics. In: Proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS). (2011)