Search results for "Formal Semantics"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Timo Asikainen, Tomi Männistö	Nivel: a metamodelling language with a formal semantics.	Software and System Modeling	2009	DBLP DOI BibTeX RDF	Nivel, Weight constraint rules, Conceptual modelling, Metamodelling, Formal semantics
3	Julien Tesson, Frédéric Loulergue	Formal Semantics of DRMA-Style Programming in BSPlib.	PPAM	2007	DBLP DOI BibTeX RDF	Parallel Programming, formal Semantics, BSP
3	Kevin Donnelly, J. J. Hallett, Assaf J. Kfoury	Formal semantics of weak references.	ISMM	2006	DBLP DOI BibTeX RDF	weak references, garbage collection, formal semantics
3	Manfred Broy, Michelle L. Crane, Jürgen Dingel, Alan Hartman, Bernhard Rumpe, Bran Selic	2nd UML 2 Semantics Symposium: Formal Semantics for UML.	MoDELS Workshops	2006	DBLP DOI BibTeX RDF	UML, Formal Semantics
3	Alexandre V. Zamulin	Formal Semantics of the ODMG 3.0 Object Query Language.	ADBIS	2003	DBLP DOI BibTeX RDF	query language, object-oriented database, formal semantics, OQL, object algebra
3	Peter Fankhauser	XQuery Formal Semantics: State and Challenges.	SIGMOD Record	2001	DBLP DOI BibTeX RDF	XML, XML, databases, query languages, formal semantics
3	Lijun Dong, Jiafu Xu	Formal semantics of some functional constructs of the software requirements definition language NDRDL. (PDF / PS)	COMPSAC	1997	DBLP DOI BibTeX RDF	functional constructs, software requirements definition language, NDRDL, source language, software requirements analysis support system, NDRASS, specification languages, diagrams, formal semantics, functional requirements, nonfunctional requirements
3	Volker Haarslev	Formal Semantics of Visual Languages using Spatial Reasoning. (PDF / PS)	VL	1995	DBLP DOI BibTeX RDF	qualitative spatial relationships, description logic theory, convex regions, semantics specifications, Pictorial Janus, graphical theorem proving, formal specification, visual programming, visual languages, visual languages, formal semantics, algebraic specification, spatial reasoning, spatial reasoning, points, automatic verification, lines, spatial logic, visual reasoning, geometrical objects
3	Carsta Petersohn, Willem P. de Roever, Cornelis Huizing, Jan Peleska	Formal Semantics for Ward & Mellor's Transformation Schemas and the Specification of Faul Tolerant Systems.	EDCC	1994	DBLP DOI BibTeX RDF	Real-time embedded systems and their design, Structured Analysis and Design Methods, Transformation Schema, micro and macro steps, Berry's synchrony hypothesis, safety critical systems design, simulation of and semantics for fault-tolerant systems, modularity, formal semantics, synchronous languages
2	Ruzhi Xu, Quansheng Wu, Hongquan Gong, Leqiu Qian	Research on Component Composition with Formal Semantics.	IITSI	2010	DBLP DOI BibTeX RDF	formal semantics, component based software engineering, ?-calculus, component composition
2	Herman Balsters, Terry A. Halpin	Formal Semantics of Dynamic Rules in ORM.	OTM Workshops	2008	DBLP DOI BibTeX RDF
2	Mohammed Al-Mansari, Stefan Hanenberg, Rainer Unland	On to formal semantics for path expression pointcuts.	SAC	2008	DBLP DOI BibTeX RDF	path expression pointcuts, aspect-oriented programming, formal semantics
2	Tsukasa Takemura	Formal Semantics and Verification of BPMN Transaction and Compensation.	APSCC	2008	DBLP DOI BibTeX RDF
2	Pierre Kelsen, Qin Ma 0002	A Lightweight Approach for Defining the Formal Semantics of a Modeling Language.	MoDELS	2008	DBLP DOI BibTeX RDF
2	Stefanie Rinderle-Ma, Manfred Reichert, Barbara Weber	On the Formal Semantics of Change Patterns in Process-Aware Information Systems.	ER	2008	DBLP DOI BibTeX RDF
2	Frédéric Gava, Jean Fortin	Formal Semantics of a Subset of the Paderborn's BSPlib.	PDCAT	2008	DBLP DOI BibTeX RDF
2	Francisco Durán, Francisco Gutiérrez, Pablo López, Ernesto Pimentel	A formalization of the SMEPP model in Maude.	MobiQuitous	2008	DBLP DOI BibTeX RDF	peer-to-peer systems, formal semantics, automated verification, service-oriented models
2	Stefan Leue, Alin Stefanescu, Wei Wei	An AsmL Semantics for Dynamic Structures and Run Time Schedulability in UML-RT.	TOOLS	2008	DBLP DOI BibTeX RDF	AsmL, Rose-RT, Spec Explorer, model checking, model-based testing, formal semantics, UML-RT, dynamic structures
2	Rüdiger Grammes, Reinhard Gotzhein	SDL Profiles - Formal Semantics and Tool Support.	FASE	2007	DBLP DOI BibTeX RDF
2	Catherine Pugin, Rolf Ingold	Combination of transformation and schema languages described by a complete formal semantics.	ACM Symposium on Document Engineering	2007	DBLP DOI BibTeX RDF	static type checking, XML, integration, transformation, schema
2	Yu Huang 0004, Hanpin Wang	A petri net semantics for web service choreography.	SAC	2007	DBLP DOI BibTeX RDF	WSCI, web service, petri net, formal semantics
2	Raphaël Troncy, Werner Bailer, Michael Hausenblas, Philip Hofmair, Rudolf Schlatte	Enabling Multimedia Metadata Interoperability by Defining Formal Semantics of MPEG-7 Profiles.	SAMT	2006	DBLP DOI BibTeX RDF
2	Harald Fecher, Jens Schönborn	UML 2.0 State Machines: Complete Formal Semantics Via core state machine.	FMICS/PDMC	2006	DBLP DOI BibTeX RDF
2	Pierre-Yves Schobbens, Patrick Heymans, Jean-Christophe Trigaux	Feature Diagrams: A Survey and a Formal Semantics.	RE	2006	DBLP DOI BibTeX RDF
2	Michael von der Beeck	A Formal Semantics of UML-RT.	MoDELS	2006	DBLP DOI BibTeX RDF
2	Jingwei Huang, Mark S. Fox	An ontology of trust: formal semantics and transitivity.	ICEC	2006	DBLP DOI BibTeX RDF	transitivity of trust, trust formalization, web of trust, trust ontology
2	Heidi Gregersen	The formal semantics of the timeER model.	APCCM	2006	DBLP DOI BibTeX RDF	conceptual modeling, temporal databases, database design, entity-relationship models, temporal data models, temporal semantics
2	Nadia Belblidia, Mourad Debbabi	Towards a Formal Semantics for AspectJ Weaving.	JMLC	2006	DBLP DOI BibTeX RDF
2	Erika Ábrahám, Andreas Grüner, Martin Steffen	Abstract Interface Behavior of Object-Oriented Languages with Monitors.	FMOODS	2006	DBLP DOI BibTeX RDF	oo languages, thread-based concurrency, observable behavior, monitors, open systems, formal semantics
2	Jozef Hooman, Mark van der Zwaag	A semantics of communicating reactive objects with timing.	STTT	2006	DBLP DOI BibTeX RDF	UML, Real-time, Formal methods, Theorem proving, Formal semantics
2	Jing Sun 0002, Hongyu Zhang, Yuan-Fang Li, Hai H. Wang	Formal Semantics and Verification for Feature Modeling.	ICECCS	2005	DBLP DOI BibTeX RDF	Feature Oriented Domain Analysis, Z/EVES, Formal Verification, Feature Modeling, Domain Engineering, Alloy
2	Mohammad Reza Mousavi, Murdoch Gabbay, Michel A. Reniers	SOS for Higher Order Processes.	CONCUR	2005	DBLP DOI BibTeX RDF	Congruence Rule Formats, Bisimulation, Formal Semantics, Congruence, Structural Operational Semantics
2	Jameleddine Hassine, Juergen Rilling, Rachida Dssouli	Abstract Operational Semantics for Use Case Maps.	FORTE	2005	DBLP DOI BibTeX RDF	AsmL, simulation, formal semantics, abstract state machines, user requirements notation, Use Case Maps
2	Mohammad Reza Mousavi, Michel A. Reniers	Orthogonal Extensions in Structural Operational Semantics.	ICALP	2005	DBLP DOI BibTeX RDF	Structural Operational Semantics (SOS), Conservative Extension, Operational Conservativity, Equational Conservativity, Formal Semantics, Orthogonality
2	María Victoria Cengarle, Alexander Knapp	OCL 1.4/5 vs. 2.0 Expressions Formal semantics and expressiveness.	Software and System Modeling	2004	DBLP DOI BibTeX RDF	UML, OCL, Formal semantics
2	Olivier H. Roux, Didier Lime	Time Petri Nets with Inhibitor Hyperarcs. Formal Semantics and State Space Computation.	ICATPN	2004	DBLP DOI BibTeX RDF
2	Xiaoshan Li, Zhiming Liu, Jifeng He	A Formal Semantics of UML Sequence Diagram.	Australian Software Engineering Conference	2004	DBLP DOI BibTeX RDF	UML, Semantics, Consistency, Sequence Diagram
2	Ting Yu, Ninghui Li, Annie I. Antón	A formal semantics for P3P.	SWS	2004	DBLP DOI BibTeX RDF
2	Salvador España, Vicent Estruch	A Memoizing Semantics for Functional Logic Languages.	ESOP	2004	DBLP DOI BibTeX RDF	Programming languages, formal semantics, memoization
2	Jing Yang, Quan Long, Zhiming Liu, Xiaoshan Li	A Predicative Semantic Model for Integrating UML Models.	ICTAC	2004	DBLP DOI BibTeX RDF	UML, Refinement, Formal semantics, Model integration
2	Stephan Flake, Wolfgang Müller 0003	Formal semantics of static and temporal state-oriented OCL constraints.	Software and System Modeling	2003	DBLP DOI BibTeX RDF	Temporal logics, Object Constraint Language, UML Profile, Real-time constraints, UML Statecharts
2	Michael J. C. Gordon, Joe Hurd, Konrad Slind	Executing the Formal Semantics of the Accellera Property Specification Language by Mechanised Theorem Proving.	CHARME	2003	DBLP DOI BibTeX RDF
2	Dániel Varró	A Formal Semantics of UML Statecharts by Model Transition Systems.	ICGT	2002	DBLP DOI BibTeX RDF
2	Jan Jürjens	A UML statecharts semantics with message-passing.	SAC	2002	DBLP DOI BibTeX RDF	Unified Modeling Language (UML), UML, message-passing, statecharts, formal semantics, executable specifications
2	David R. Musser, Zhiqing Shao	Concept Use or Concept Refinement: An Important Distinction in Building Generic Specifications.	ICFEM	2002	DBLP DOI BibTeX RDF	Specification techniques and languages, specification evolution and refinement, formal semantics
2	Achim D. Brucker, Burkhart Wolff	Using Theory Morphisms for Implementing Formal Methods Tools.	TYPES	2002	DBLP DOI BibTeX RDF	Shallow Embeddings, Formal Methods, Theorem Proving, OCL, Formal Semantics
2	Achim D. Brucker, Burkhart Wolff	HOL-OCL: Experiences, Consequences and Design Choices.	UML	2002	DBLP DOI BibTeX RDF	refinement, OCL, formal semantics, constraint languages
2	Dániel Varró, András Pataricza	Metamodeling Mathematics: A Precise and Visual Framework for Describing Semantics Domains of UML Models.	UML	2002	DBLP DOI BibTeX RDF	refinement, model transformation, metamodeling, formal semantics, graph transformation
2	Nabil Hameurlain	Formal Semantics for Behavioural Substitutability of Agent Components: Application to Interaction Protocols.	CEEMAS	2001	DBLP DOI BibTeX RDF
2	David Coppit, Kevin J. Sullivan, Joanne Bechta Dugan	Formal Semantics for Computational Engineering: A Case Study on Dynamic Fault Trees.	ISSRE	2000	DBLP DOI BibTeX RDF
2	Robert Eschbach, Uwe Glässer, Reinhard Gotzhein, Andreas Prinz	On the Formal Semantics of SDL-2000: A Compilation Approach Based on an Abstract SDL Machine.	Abstract State Machines	2000	DBLP DOI BibTeX RDF
2	Ville Laurikari	NFAs with Tagged Transitions, Their Conversion to Deterministic Automata and Application to Regular Expressions. (PDF / PS)	SPIRE	2000	DBLP DOI BibTeX RDF	tagged transitions, automata conversion, input string position tracking, last-use tracking, nondeterministic Mealy machines, string processing, substring addressing, lookahead operator, regular expressions, finite automata, formal semantics, deterministic automata, nondeterministic finite automata
2	Ileana Ober	More Meaningful UML Models.	TOOLS	2000	DBLP DOI BibTeX RDF	complex systems modelling, tool support capabilities, executable semantics, tool vendors, intelligent tools, consistency checkers, semantics definition, UML meta-model, well formedness rules, UML standard, behaviour primitives, ASM transition rules, UML actions, object-oriented programming, specification languages, finite automata, formal semantics, symbolic execution, Abstract State Machines, UML models, programming language semantics, dynamic semantics, static semantics
2	Jörg Fischer, Stefan Conrad	Formalizing Timing Diagrams as Causal Dependencies for Verification Purposes.	IFM	2000	DBLP DOI BibTeX RDF	hardware and software design, relational semantics, formal semantics, dynamic logic, timing diagrams, integrated verification, causal dependencies
2	Norihiro Ogata	Formal Semantics of Acknowledgements, Agreements and Disagreements.	PRIMA	1999	DBLP DOI BibTeX RDF
2	Kim B. Bruce	Formal semantics and interpreters in a principles of programming languages course.	SIGCSE	1999	DBLP DOI BibTeX RDF
2	Alistair P. Barros, Arthur H. M. ter Hofstede	Modeling Extensions for Concurrent Workflow Coordination. (PDF / PS)	CoopIS	1999	DBLP DOI BibTeX RDF	workflow, conceptual modelling, Process Algebra, formal semantics, business process re-engineering
2	Kees van Deemter	Document Generation and Picture Retrieval.	VISUAL	1999	DBLP DOI BibTeX RDF	Picture Retrieval, Formal Semantics, Document Generation
2	Phillip Baraona, Perry Alexander	Representing abstract architectures with axiomatic specifications and activation conditions.	ECBS	1997	DBLP DOI BibTeX RDF	abstract architectures representation, activation conditions, VSPEC, Larch interface language, axiomatic style, formal specification, VHDL, formal semantics, formal analysis, axiomatic specifications
2	Gerald C. Gannod, Betty H. C. Cheng	A Formal Automated Approach for Reverse Engineering Programs with Pointers. (PDF / PS)	ASE	1997	DBLP DOI BibTeX RDF	reverse engineering programs, formal automated approach, formal specification, formal specifications, reverse engineering, programming language, formal semantics, pointers
2	Gabriele Wedel, Volker Kessler	Formal Semantics for Authentication Logics.	ESORICS	1996	DBLP DOI BibTeX RDF	logic of authentication, Formal verification, key management, cryptographic protocols
2	Corrie Huijs	A Graph Rewriting Approach for Transformational Design of Digital Systems.	EUROMICRO	1996	DBLP DOI BibTeX RDF	graph rewriting approach, behaviour preserving transformations, compositional formal semantics, semantic aspects, attribute algebra, table algebra, database theory, visualisation, relation algebra, rewriting systems, digital systems, graph representations, correctness by construction, attributed graphs, transformational design
2	Robert H. Bourdeau, Betty H. C. Cheng	A Formal Semantics for Object Model Diagrams.	IEEE Trans. Software Eng.	1995	DBLP DOI BibTeX RDF	formal methods, semantics, requirements specification, Algebraic specification, object modeling
2	Stefan Kahlert, Thomas Kruse, Dieter Monjau	A Formal Semantics for a Graphical Model Representation in System Design.	EUROCAST	1995	DBLP DOI BibTeX RDF
2	Jianxin Li, Benjamin J. Leon	A Formal Approach to Model SNMP Network Management Systems.	ICCCN	1995	DBLP DOI BibTeX RDF	network management, formal semantics, SNMP, CCS
2	Bernd J. Krämer, Luqi, Valdis Berzins	Compositional Semantics of a Real-Time Prototyping Language.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	real-time prototyping language, PSDL, data flow notation, application-orientation timing, control constraints, algebraic high-level Petri nets, concurrency concepts, real-time systems, formal specification, Petri nets, synchronization, specification languages, abstract data types, abstract data types, formal semantics, algebraic specifications, software prototyping, hard real-time systems, compositional semantics, timing behavior
2	Martin Gogolla, Uwe Hohenstein	Towards a Semantic View of an Extended Entity-Relationship Model.	ACM Trans. Database Syst.	1991	DBLP DOI BibTeX RDF	relational completeness, abstract data type, formal semantics, entity-relationship model, calculus, semantic data model, aggregate function, safeness
2	Nagisa Ishiura, Hiroto Yasuura, Shuzo Yajima	NES: The Behavioral Model for the Formal Semantics of a Hardware Design Language UDL/I.	DAC	1990	DBLP DOI BibTeX RDF
2	M. J. van Diepen, Kees M. van Hee	A Formal Semantics for Z and the Link between Z and the Relational Algebra.	VDM Europe	1990	DBLP DOI BibTeX RDF
2	Uwe F. Pleban	Compiler prototyping using formal semantics.	SIGPLAN Symposium on Compiler Construction	1984	DBLP DOI BibTeX RDF
1	Leonardo Lezcano, Elena García Barriocanal, Miguel-Ángel Sicilia	Bridging informal tagging and formal semantics via hybrid navigation.	J. Information Science	2012	DBLP DOI BibTeX RDF
1	Wei Li, Ning Li	A formal semantics for program debugging.	SCIENCE CHINA Information Sciences	2012	DBLP DOI BibTeX RDF
1	Chucky Ellison, Grigore Rosu	An executable formal semantics of C with applications.	POPL	2012	DBLP DOI BibTeX RDF
1	John Capper, Henrik Nilsson	Towards a formal semantics for a structurally dynamic noncausal modelling language.	TLDI	2012	DBLP DOI BibTeX RDF
1	Daniel Wasserrab	From formal semantics to verified slicing: a modular framework with applications in language based security.		2011	RDF
1	Manfred Broy, María Victoria Cengarle	UML formal semantics: lessons learned.	Software and System Modeling	2011	DBLP DOI BibTeX RDF
1	Helmuth Partsch, Marcel Dausend, Dominik Gessenharter, Jens Kohlmeyer, Alexander Raschke	From Formal Semantics to Executable Models: A Pragmatic Approach to Model-Driven Development.	Int. J. Software and Informatics	2011	DBLP BibTeX RDF
1	Ruzhi Xu, Quansheng Wu, Peiguang Lin	Research on Component Composition and Replacement with Formal Semantics.	JSW	2011	DBLP DOI BibTeX RDF
1	Rafael H. Bordini, Álvaro F. Moreira, Renata Vieira, Michael Wooldridge	On the Formal Semantics of Speech-Act Based Communication in an Agent-Oriented Programming Language	CoRR	2011	DBLP BibTeX RDF
1	Arno Bastenhof	Polarized Classical Non-associative Lambek Calculus and Formal Semantics.	LACL	2011	DBLP DOI BibTeX RDF
1	Richard Stocker, Maarten Sierhuis, Louise A. Dennis, Clare Dixon, Michael Fisher	A Formal Semantics for Brahms.	CLIMA	2011	DBLP DOI BibTeX RDF
1	Jan Olaf Blech, Sidi Ould Biha	Verification of PLC Properties Based on Formal Semantics in Coq.	SEFM	2011	DBLP DOI BibTeX RDF
1	Álvaro F. Moreira, Renata Vieira, Rafael H. Bordini	Speech-Act Based Communication: Progress in the Formal Semantics and in the Implementation of Multi-agent Oriented Programming Languages.	DALT	2011	DBLP DOI BibTeX RDF
1	Sidi Ould Biha	A Formal Semantics of PLC Programs in Coq.	COMPSAC	2011	DBLP DOI BibTeX RDF
1	Olivier Danvy	Pragmatics for formal semantics.	GPCE	2011	DBLP DOI BibTeX RDF
1	Anupam Datta, Jeremiah Blocki, Nicolas Christin, Henry DeYoung, Deepak Garg, Limin Jia, Dilsun Kirli Kaynar, Arunesh Sinha	Understanding and Protecting Privacy: Formal Semantics and Principled Audit Mechanisms.	ICISS	2011	DBLP DOI BibTeX RDF
1	Julien Provost, Jean-Marc Roussel, Jean-Marc Faure	A formal semantics for Grafcet specifications.	CASE	2011	DBLP DOI BibTeX RDF
1	Dolors Costal, Cristina Gómez, Giancarlo Guizzardi	Formal Semantics and Ontological Analysis for Understanding Subsetting, Specialization and Redefinition of Associations in UML.	ER	2011	DBLP DOI BibTeX RDF
1	Zhibin Yang, Kai Hu, Jean-Paul Bodeveix, Lei Pi, Dianfu Ma, Jean-Pierre Talpin	Two Formal Semantics of a Subset of the AADL.	ICECCS	2011	DBLP DOI BibTeX RDF
1	Raphaël Michel, Andreas Classen, Arnaud Hubaux, Quentin Boucher	A formal semantics for feature cardinalities in feature diagrams.	VaMoS	2011	DBLP DOI BibTeX RDF
1	Z. M. Ma, Fu Zhang, Li Yan, Yanhui Lv	Formal semantics-preserving translation from fuzzy ER model to fuzzy OWL DL ontology.	Web Intelligence and Agent Systems	2010	DBLP DOI BibTeX RDF
1	Marco Aldinucci, Emilio Tuosto	Toward a Formal Semantics for Autonomic Components	CoRR	2010	DBLP BibTeX RDF
1	Jingwei Huang, David Nicol	A Formal-Semantics-Based Calculus of Trust.	IEEE Internet Computing	2010	DBLP DOI BibTeX RDF	semantics of trust, uncertainties in trust, trust modeling
1	Jacek Sroka, Jan Hidders, Paolo Missier, Carole A. Goble	A formal semantics for the Taverna 2 workflow model.	J. Comput. Syst. Sci.	2010	DBLP DOI BibTeX RDF
1	Santiago Figueira, Daniel Gorín, Rafael Grimson	On the formal semantics of IF-like logics.	J. Comput. Syst. Sci.	2010	DBLP DOI BibTeX RDF
1	Peter Csaba Ölveczky, Artur Boronat, José Meseguer	Formal Semantics and Analysis of Behavioral AADL Models in Real-Time Maude.	FMOODS/FORTE	2010	DBLP DOI BibTeX RDF
1	Pedro Arturo Góngora, Eric Ufferman, Francisco Hernández Quiroz	Formal Semantics of a Dynamic Epistemic Logic for Describing Knowledge Properties of pi-Calculus Processes.	CLIMA	2010	DBLP DOI BibTeX RDF
1	Martin Höffernig, Werner Bailer, Günter Nagler, Helmut Mülner	Mapping Audiovisual Metadata Formats Using Formal Semantics.	SAMT	2010	DBLP DOI BibTeX RDF
1	Mike Gemunde, Jens Brandt, Klaus Schneider	A Formal Semantics of Clock Refinement in Imperative Synchronous Languages.	ACSD	2010	DBLP DOI BibTeX RDF	Quartz, Subclocks, Semantics, Synchronous Languages
1	David Raymond Christiansen, Marco Carbone, Thomas T. Hildebrandt	Formal Semantics and Implementation of BPMN 2.0 Inclusive Gateways.	WS-FM	2010	DBLP DOI BibTeX RDF