Search results for "eb3"

Found 12 publication records. Showing 12 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
243	Frédéric Gervais, Marc Frappier, Régine Laleau	Refinement of eb3 Process Patterns into B Specifications.	B	2007	DBLP DOI BibTeX RDF	data integrity constraints, eb3, process expressions, Information systems, refinement
116	Benoît Fraikin, Marc Frappier, Régine Laleau	State-based versus event-based specifications for information systems: a comparison of B and eb3.	Softw. Syst. Model.	2005	DBLP DOI BibTeX RDF	State-based paradigm, Event-based paradigm, eb3, Formal specification, Information system, Process algebra, B
59	Jérémy Milhau, Benoît Fraikin, Marc Frappier	Automatic Generation of Error Messages for the Symbolic Execution of EB3 Process Expressions.	IFM	2009	DBLP DOI BibTeX RDF
59	Frédéric Gervais, Marc Frappier, Régine Laleau	Generating Relational Database Transactions From Recursive Functions Defined on EB3 Traces.	SEFM	2005	DBLP DOI BibTeX RDF
57	Marc Frappier, Frédéric Gervais, Régine Laleau, Benoît Fraikin, Richard St-Denis	Extending statecharts with process algebra operators.	Innov. Syst. Softw. Eng.	2008	DBLP DOI BibTeX RDF	EB3, Information systems, Process algebras, Statecharts, State transition diagrams
33	Lingfa Kong, Yidao Dong, Wei Liu	Extending EB3 scheme for the differential conservation law from node-centered to cell-centered control volumes I: Basic formula on regular cells.	J. Comput. Phys.	2023	DBLP DOI BibTeX RDF
33	Dimitris Vekris, Frédéric Lang, Catalin Dima, Radu Mateescu 0001	Verification of EB3 specifications using CADP.	Formal Aspects Comput.	2016	DBLP DOI BibTeX RDF
33	Dimitris Vekris, Frédéric Lang, Catalin Dima, Radu Mateescu 0001	Verification of EB3 Specifications Using CADP.	IFM	2013	DBLP DOI BibTeX RDF
33	Frédéric Gervais, Marc Frappier, Régine Laleau	Generating relational database transactions from eb3 attribute definitions.	Softw. Syst. Model.	2009	DBLP DOI BibTeX RDF	SELECT statements, Information systems, Pattern matching, Transactions, Attributes
33	Frédéric Gervais, Panawé Batanado, Marc Frappier, Régine Laleau	EB3TG: A Tool Synthesizing Relational Database Transactions from EB3 Attribute Definitions.	ICEIS (3)	2006	DBLP BibTeX RDF
33	Frédéric Gervais, Marc Frappier, Régine Laleau	Synthesizing B Specifications from EB3 Attribute Definitions.	IFM	2005	DBLP DOI BibTeX RDF	data integrity constraints, Information systems, pattern matching, attributes, B, recursive functions
33	Frédéric Gervais, Marc Frappier, Régine Laleau	How to Synthesize Relational Database Transactions From EB3 Attribute Definitions?	MSVVEIS	2005	DBLP BibTeX RDF