Search results for "formal transformation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Pontus Boström, Mats Neovius, Ian Oliver, Marina A. Waldén	Formal Transformation of Platform Independent Models into Platform Specific Models.	B	2007	DBLP DOI BibTeX RDF
1	Kelly Rosa Braghetto, João Eduardo Ferreira, Jean-Marc Vincent	Performance Evaluation of Business Processes through a Formal Transformation to SAN.	EPEW	2011	DBLP DOI BibTeX RDF
1	Alfonso Rodríguez, Ignacio García Rodríguez de Guzmán, Eduardo Fernández-Medina, Mario Piattini	Semi-formal transformation of secure business processes into analysis class and use case models: An MDA approach.	Information & Software Technology	2010	DBLP DOI BibTeX RDF
1	Juliana Bowles, Dulani Meedeniya	Formal Transformation from Sequence Diagrams to Coloured Petri Nets.	APSEC	2010	DBLP DOI BibTeX RDF
1	Juliana Küster Filipe Bowles, Leïla Kloul	Synthesising PEPA nets from IODs for performance analysis.	WOSP/SIPEW	2010	DBLP DOI BibTeX RDF	formal transformation, pepa nets, uml 2 interaction diagrams, mobility, performance analysis
1	Esteban Robles Luna, Julián Grigera, Gustavo Rossi	Bridging Test and Model-Driven Approaches in Web Engineering.	ICWE	2009	DBLP DOI BibTeX RDF
1	José Barranquero Tolosa, Vicente García-Díaz, Oscar Sanjuán Martínez, Héctor Fernández-Fernández, Gloria García Fernández	Towards Meta-model Interoperability of Models through Intelligent Transformations.	IWANN	2009	DBLP DOI BibTeX RDF	Meta-Transformation, Declarative Transformation, Meta-Model, MDE, Transformation Model
1	Diana Kalibatiene, Olegas Vasilecas	Formal transformation of ontology axioms to application domain rules.	CompSysTech	2008	DBLP DOI BibTeX RDF
1	Syed Suhaib, Bijoy A. Jose, Sandeep K. Shukla, Deepak Mathaikutty	Formal Transformation of a KPN Specification to a GALS Implementation.	FDL	2008	DBLP DOI BibTeX RDF
1	Adrian Rutle, Uwe Wolter, Yngve Lamo	A diagrammatic approach to model transformations.	EATIS	2008	DBLP DOI BibTeX RDF	diagrammatic specifications, eclipse modeling framework, meta object facility, modeling, unified modeling language, model driven architecture, model transformations
1	Gang Yu	Implementing Higher-Order Control in Java.	TASE	2008	DBLP DOI BibTeX RDF	FANF, transformation, exception handling, continuation
1	Alfredo Simón, Luigi Ceccaroni, Alejandro Rosete	Generation of OWL Ontologies from Concept Maps in Shallow Domains.	CAEPIA	2007	DBLP DOI BibTeX RDF
1	Mohamad Al-Laham	Formal Transformation in Pipeline Systems.	Egyptian Computer Science Journal	2006	DBLP BibTeX RDF
1	Shidi Xu, Yi Mu, Willy Susilo	Online/Offline Signatures and Multisignatures for AODV and DSR Routing Security.	ACISP	2006	DBLP DOI BibTeX RDF	Online/offline, Routing, MANET, signature, Multisignature
1	Artur Boronat, José A. Carsí, Isidro Ramos	Automatic Reengineering in MDA Using Rewriting Logic as Transformation Engine.	CSMR	2005	DBLP DOI BibTeX RDF
1	Massimo Baleani, Alberto Ferrari, Leonardo Mangeruca, Alberto L. Sangiovanni-Vincentelli, Ulrich Freund, Erhard Schlenker, Hans-Jörg Wolff	Correct-by-Construction Transformations across Design Environments for Model-Based Embedded Software Development.	DATE	2005	DBLP DOI BibTeX RDF
1	Hui Ma, Klaus-Dieter Schewe, Bernhard Thalheim, Jane Zhao	View Integration and Cooperation in Databases, Data Warehouses and Web Information Systems.	J. Data Semantics	2005	DBLP DOI BibTeX RDF
1	Z. M. Ma, Shiyong Lu, Farshad Fotouhi	Conceptual Data Models for Engineering Information Modeling and Formal Transformation of EER and EXPRESS-G.	ER	2003	DBLP DOI BibTeX RDF
1	Norbert Giambiasi, Jean-Luc Paillet, Frédéric Châne	Simulation and verification II: from timed automata to DEVS models.	Winter Simulation Conference	2003	DBLP DOI BibTeX RDF
1	Lionel C. Briand, Yvan Labiche, Y. Miao	Towards the Reverse Engineering of UML Sequence Diagrams.	WCRE	2003	DBLP DOI BibTeX RDF
1	Ingo Sander, Axel Jantsch	Transformation based communication and clock domain refinement for system design.	DAC	2002	DBLP DOI BibTeX RDF	design refinement, system design, system modeling
1	John Hawkins, Ali E. Abdallah	An Overview of Systematic Development of Parallel Systems for Reconfigurable Hardware (Research Note).	Euro-Par	2002	DBLP DOI BibTeX RDF
1	Martin P. Ward	The Formal Transformation Approach to Source Code Analysis and Manipulation.	SCAM	2001	DBLP DOI BibTeX RDF	amorphous slicing, conditioned slicing, semantic slicing, Formal Methods, Transformation, Slicing, WSL
1	Clint H. Sparkman, Scott A. DeLoach, Athie L. Self	Automated Derivation of Complex Agent Architectures from Analysis Specifications.	AOSE	2001	DBLP DOI BibTeX RDF
1	Sergei Gorlatch	Send-Recv Considered Harmful? Myths and Truths about Parallel Programming.	PaCT	2001	DBLP DOI BibTeX RDF
1	Martin P. Ward	Reverse Engineering from Assembler to Formal Specifications via Program Transformations. (PDF / PS)	WCRE	2000	DBLP DOI BibTeX RDF
1	Thomas Lehmann, Klaus-Dieter Schewe	A Pragmatic Method for the Integration of Higher-Order Entity-Relationship Schemata.	ER	2000	DBLP DOI BibTeX RDF
1	Martin P. Ward, Keith H. Bennett	Recursion Removal/Introduction by Formal Transformation: An Aid to Program Development and Program Comprehension.	Comput. J.	1999	DBLP DOI BibTeX RDF
1	René L. Krikhaar, André Postma, M. P. A. Sellink, M. Stroucken, Chris Verhoef	A Two-Phase Process for Software Architecture Improvement. (PDF / PS)	ICSM	1999	DBLP DOI BibTeX RDF
1	Martin P. Ward	Assembler to C Migration Using the FermaT Transformation System. (PDF / PS)	ICSM	1999	DBLP DOI BibTeX RDF
1	E. J. Younger, Keith H. Bennett, Z. Luo	A Formal Transformation and Refinement Method for Concurrent Programs. (PDF / PS)	ICSM	1997	DBLP DOI BibTeX RDF	Concurrency, program transformations, re-engineering
1	Martin P. Ward	Derivation of Data Intensive Algorithms by Formal Transformation: The Schnorr-Waite Graph Marking Algorithm.	IEEE Trans. Software Eng.	1996	DBLP DOI BibTeX RDF	transformational development, graph marking, Schorr-Waite, ghost variables, recursion removal, pointer switching, refinement, transformation, Program development, data refinement
1	M. P. Ward	Program Analysis by Formal Transformation.	Comput. J.	1996	DBLP DOI BibTeX RDF
1	Martin P. Ward	Reverse Engineering through Formal Transformation: Knuths 'Polynomial Addition' Algorithm.	Comput. J.	1994	DBLP DOI BibTeX RDF
1	Hans Eveking, Christoph Mai	Formal verification of timing conditions.	EURO-DAC	1990	DBLP DOI BibTeX RDF