Search results for "automated code generation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Matteo Bordin, Tullio Vardanega	Real-time Java from an automated code generation perspective.	JTRES	2007	DBLP DOI BibTeX RDF	model-driven engineering, real-time Java, automated code generation
3	Cristina Vicente-Chicote, Ana Toledo Moreo, Pedro Sánchez-Palma	Image Processing Application Development: From Rapid Prototyping to SW/HW Co-simulation and Automated Code Generation.	IbPRIA	2005	DBLP DOI BibTeX RDF	prototyping, component-based development, co-simulation, automated code generation, image processing applications
2	Jean Vanderdonckt, Chow Kwok Chieu, Laurent Bouillon, Daniela Trevisan	Model-based design, generation, and evaluation of virtual user interfaces.	Web3D	2004	DBLP DOI BibTeX RDF	Abstract Interaction Object (AIO), Concrete Interaction Object (CIO), static analysis, virtualization, interface evaluation, retargeting, usability guidelines, transformational approach, automated code generation
1	Kristian B. Ølgaard, Anders Logg, Garth N. Wells	Automated code generation for discontinuous Galerkin methods	CoRR	2011	DBLP BibTeX RDF
1	Kristian B. Ølgaard, Garth N. Wells	Optimisations for quadrature representations of finite element tensors through automated code generation	CoRR	2011	DBLP BibTeX RDF
1	Kristian B. Ølgaard, Garth N. Wells	Optimizations for quadrature representations of finite element tensors through automated code generation.	ACM Trans. Math. Softw.	2010	DBLP DOI BibTeX RDF
1	Joonhoon Lee, Jeongmin Park, Giljong Yoo, Eunseok Lee	Goal-Based Automated Code Generation in Self-Adaptive System.	J. Comput. Sci. Technol.	2010	DBLP DOI BibTeX RDF
1	Jan Francu, Petr Hnetynka	Automated Code Generation from System Requirements in Natural Language.	e-Informatica	2009	DBLP BibTeX RDF
1	Ewen Denney, Bernd Fischer 0002	A Verification-Driven Approach to Traceability and Documentation for Auto-Generated Mathematical Software.	ASE	2009	DBLP DOI BibTeX RDF	model-based design, verification and validation, code reviews, automated code generation
1	Stéphane Garredu, Evelyne Vittori, Jean François Santucci	A DEVS-oriented intuitive modeling language.	SpringSim	2009	DBLP DOI BibTeX RDF	methodology, code generation, MDA, specification languages, DEVS
1	Alessandro Zovi, Tullio Vardanega	Requirements on the Target Programming Language for High-Integrity MDE.	Ada-Europe	2009	DBLP DOI BibTeX RDF
1	David Hardin, T. Douglas Hiratzka, D. Randolph Johnson, Lucas Wagner, Michael W. Whalen	Development of Security Software: A High Assurance Methodology.	ICFEM	2009	DBLP DOI BibTeX RDF
1	Miroslaw Staron, Wilhelm Meding	Using Models to Develop Measurement Systems: A Method and Its Industrial Use.	IWSM/Mensura	2009	DBLP DOI BibTeX RDF
1	Kristian B. Ølgaard, Anders Logg, Garth N. Wells	Automated Code Generation for Discontinuous Galerkin Methods.	SIAM J. Scientific Computing	2008	DBLP DOI BibTeX RDF
1	Thomas Weigert, Frank Weil, Aswin van den Berg, Paul Dietz, Kevin Marth	Automated Code Generation for Industrial-Strength Systems.	COMPSAC	2008	DBLP DOI BibTeX RDF	program transformation, code generation, Model-driven engineering
1	Ewen Denney, Bernd Fischer 0002	Generating customized verifiers for automatically generated code.	GPCE	2008	DBLP DOI BibTeX RDF	logical annotations, program verification, automated theorem proving, hoare logic, software certification, automated code generation
1	Matteo Bordin, Thanassis Tsiodras, Maxime Perrotin	Experience in the Integration of Heterogeneous Models in the Model-driven Engineering of High-Integrity Systems.	Ada-Europe	2008	DBLP DOI BibTeX RDF	Model-driven Integration, High-Integrity Systems, Automated Code Generation
1	Nurlida Basir, Ewen Denney, Bernd Fischer 0002	Constructing a Safety Case for Automatically Generated Code from Formal Program Verification Information.	SAFECOMP	2008	DBLP DOI BibTeX RDF	Goal Structuring Notation, Hoare logic, fault tree analysis, Automated code generation, safety case, formal program verification
1	Daniel Biella, Wolfram Luther	A Parameterizable Framework for Replicated Experiments in Virtual 3D Environments.	WEBIST (Selected Papers)	2008	DBLP DOI BibTeX RDF	Modeling of virtual 3D environments, Code reusability, Parameterizable framework, Metadata standards, Metadata editing, Automated code generation
1	Chryssis Georgiou, Peter M. Musial, Alexander A. Shvartsman, Elaine L. Sonderegger	An Abstract Channel Specification and an Algorithm Implementing It Using Java Sockets.	NCA	2008	DBLP DOI BibTeX RDF	Java sockets, dynamic participation, input/output automata, Asynchronous communication
1	Mohammad Mostafizur Rahman Mozumdar, Francesco Gregoretti, Luciano Lavagno, Laura Vanzago, Stefano Olivieri	A Framework for Modeling, Simulation and Automatic Code Generation of Sensor Network Application.	SECON	2008	DBLP DOI BibTeX RDF
1	Egor R. V. Bondarev, Michel R. V. Chaudron, Peter H. N. de With	CARAT: a toolkit for design and performance analysis of component-based embedded systems.	DATE	2007	DBLP DOI BibTeX RDF
1	Chryssis Georgiou, Peter M. Musial, Alexander A. Shvartsman, Elaine L. Sonderegger	A formal treatment of an abstract channel implementation using java sockets and TCP.	PODC	2007	DBLP DOI BibTeX RDF	TCP and java sockets, dynamic participation, asynchronous communication, I/O automata
1	Simon Tjell	Distinguishing Environment and System in Coloured Petri Net Models of Reactive Systems.	SIES	2007	DBLP DOI BibTeX RDF
1	Matteo Bordin, Tullio Vardanega	Correctness by Construction for High-Integrity Real-Time Systems: A Metamodel-Driven Approach.	Ada-Europe	2007	DBLP DOI BibTeX RDF	Model-Driven Architecture, Metamodelling, Correctness by construction, Ravenscar Profile
1	Uttam Kumar Tripathi, Pankaj Jalote	Automated Approach for Developing and Changing SOA-Based Business Process Implementation.	Business Process Management Workshops	2007	DBLP DOI BibTeX RDF	Service Oriented Architecture, Business Process Management, Change Management
1	David Obdrzálek, Jan Benda	GFE - Graphical Finite State Machine Editor for Parallel Execution.	ICEC	2007	DBLP DOI BibTeX RDF	automatic finite state machine generation, graphical control design, robot control
1	Ewen Denney, Bernd Fischer 0002	A generic annotation inference algorithm for the safety certification of automatically generated code.	GPCE	2006	DBLP DOI BibTeX RDF	hoare calculus, logical annotations, program verification, automated theorem proving, software certification, automated code generation
1	Egor Bondarev, Michel R. V. Chaudron, Heorhiy Byelas, Peter H. N. de With	A Toolkit for Design and Performance Analysis of Real-Time Component-Based Software Systems.	ICSEA	2006	DBLP DOI BibTeX RDF
1	Ewen Denney, Bernd Fischer 0002	Extending Source Code Generators for Evidence-Based Software Certification.	ISoLA	2006	DBLP DOI BibTeX RDF
1	Ewen Denney, Bernd Fischer 0002	Annotation Inference for Safety Certification of Automatically Generated Code (Extended Abstract).	ASE	2006	DBLP DOI BibTeX RDF
1	Kirsten Berkenkötter	OCL-Based Validation of a Railway Domain Profile.	MoDELS Workshops	2006	DBLP DOI BibTeX RDF
1	Ehat Ercanli, Necati Ercan Ozgencil, Murat Kahraman Gungor	Automated Code Generation for Database Applications.	IASSE	2005	DBLP BibTeX RDF
1	Lazar Crawford, Jared Erwin, Steafano Grimaldi, Soma Mitra, Andrew J. Kornecki, David P. Gluch	A Study of Automatic Code Generation for Safety-Critical Software: Preliminary Report.	HASE	2004	DBLP DOI BibTeX RDF
1	Nikolaos Papandreou, Maria Varsamou, Theodore Antonakopoulos	Transmission Systems Prototyping Based on Stateflow/Simulink Models.	IEEE International Workshop on Rapid System Prototyping	2004	DBLP DOI BibTeX RDF
1	Mihail Petrov, Tudor Murgan, Frank May, Martin Vorbach, Peter Zipf, Manfred Glesner	The XPP Architecture and Its Co-simulation Within the Simulink Environment.	FPL	2004	DBLP DOI BibTeX RDF
1	Chris Raistrick	Applying MDA and UML in the Development of a Healthcare System.	UML Satellite Activities	2004	DBLP DOI BibTeX RDF
1	Monica Besana, Michele Borgatti	Application Mapping to a Hardware Platform through Automated Code Generation Targeting a RTOS: A Design Case Study.	DATE	2003	DBLP DOI BibTeX RDF
1	Raimund Dachselt, Enrico Rukzio	Behavior3D: an XML-based framework for 3D graphics behavior.	Web3D	2003	DBLP DOI BibTeX RDF	Contigra, behavior language, dynamic grammar, animation, XML-Schema, Extensible 3D (X3D), SMIL, object behaviors
1	Ina Schieferdecker, Zhen Ru Dai, Jens Grabowski, Axel Rennoch	The UML 2.0 Testing Profile and Its Relation to TTCN-3.	TestCom	2003	DBLP DOI BibTeX RDF
1	O. Rooks, Michael Armbruster, S. Büchli, Armin Sulzmann, Gernot Spiegelberg, U. Kiencke	Redundancy Management for Drive-by-Wire Computer Systems.	SAFECOMP	2003	DBLP DOI BibTeX RDF
1	Thomas Weigert, Paul Dietz	Automated Generation of Marshaling Code from High-Level Specifications.	SDL Forum	2003	DBLP DOI BibTeX RDF
1	Vicente Pelechano, Oscar Pastor, Emilio Insfrán	Automated code generation of dynamic specializations: an approach based on design patterns and formal techniques.	Data Knowl. Eng.	2002	DBLP DOI BibTeX RDF
1	I-Ling Yen, Farokh B. Bastani, Fiaz Mohamed, Hui Ma, John Linn	Application of AI Planning Techniques to Automated Code Synthesis and Testing.	ICTAI	2002	DBLP DOI BibTeX RDF
1	I-Ling Yen, Jayabharath Goluguri, Farokh B. Bastani, Latifur Khan, John Linn	A Component-Based Approach for Embedded Software Development. (PDF / PS)	Symposium on Object-Oriented Real-Time Distributed Computing	2002	DBLP DOI BibTeX RDF
1	Thorsten Sturm, Jesco von Voss, Marko Boger	Generating Code from UML with Velocity Templates.	UML	2002	DBLP DOI BibTeX RDF
1	Paul Dietz, Thomas Weigert, Frank Weil	Formal Techniques for Automatically Generating Marshalling Code from High-Level Specifications.	WIFT	1998	DBLP DOI BibTeX RDF
1	Torsten Braun, Christophe Diot	Automated code generation for integrated layer processing.	Protocols for High-Speed Networks	1996	DBLP BibTeX RDF
1	Maurice Heitz	Achieving Reusable and Reliable Client-Server Code using HOODTM Automated Code Generation for ADA95 and C++ Targets.	Ada-Europe	1995	DBLP DOI BibTeX RDF	Control expression, Reliability, Verification, Real-Time, Object Oriented Programming, Object Orientation, Distributed, Object Oriented Design, Method integration, HOOD
1	Vicki H. Allan, Robert A. Mueller	Phase coupling for horizontal microcode generation.	MICRO	1987	DBLP DOI BibTeX RDF