Search results for "algebraic specification"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Iakovos Ouranos, Petros S. Stefaneas	Verifying Security Protocols for Sensor Networks Using Algebraic Specification Techniques.	CAI	2007	DBLP DOI BibTeX RDF	Algebraic Specification and Verification, Observational Transition Systems, SPINS Protocol suite, Sensor Networks, CafeOBJ
3	Artur Boronat, Joaquín Oriente, Abel Gómez, Isidro Ramos, José A. Carsí	An Algebraic Specification of Generic OCL Queries Within the Eclipse Modeling Framework.	ECMDA-FA	2006	DBLP DOI BibTeX RDF	OCL queries and invariants, MDA, metamodeling, algebraic specification
3	Gwen Salaün, Michel Allemand, Christian Attiogbé	Formal Framework for a Generic Combination of a Process Algebra with an Algebraic Specification Language.	APSEC	2001	DBLP DOI BibTeX RDF	Multi-formalism Specifications, Generic Combination, Algebraic Specification Language, Process Algebra, Operational Semantics
3	Liliana Favre, Silvia Clerici	Integrating UML and Algebraic Specification Techniques.	TOOLS	1999	DBLP DOI BibTeX RDF	UML, object-oriented programming, reusability, algebraic specification, forward engineering
3	Claudia I. Horta, José A. Lima	Slicing and non-slicing, unified and rotation independent, algebraic representation of floorplans.	EUROMICRO	1997	DBLP DOI BibTeX RDF	floorplan area optimization problem, rectangle envelope, nonoverlapping basic rectangles, floorplan topology, formal algebraic specification, SETS notation, VLSI physical design layout, module dimensions, arbitrarily complex composite floorplans, rotation-invariant single-expression formalism, generalized wheels floorplans, slicing representation, nonslicing representation, unified representation, topology-dimensionless description, floorplanning problem algorithms, algebraic specification, line segments, relative positioning
3	Joseph A. Goguen, Kai Lin, A. Mori, Grigore Rosu, A. Sato	Distributed Cooperative Formal Methods Tools. (PDF / PS)	ASE	1997	DBLP DOI BibTeX RDF	distributed cooperative formal methods tools, distributed cooperative proving, proof editor, remote proof execution, distributed truth protocol, editor generator, algebraic semiotics, interface design, algebraic specification, algebraic specification
3	Jacques Calmet, Indra A. Tjandra	Building Bridges Between Knowledge Representation and Algebraic Specification.	ISMIS	1994	DBLP DOI BibTeX RDF	modeling mathematical domains of computation, knowledge representation, program transformation, Methodology, algebraic specification
3	Silvia Clerici, Fernando Orejas	GSBL: An Algebraic Specification Language Based on Inheritance.	ECOOP	1988	DBLP DOI BibTeX RDF	genericity, specification languages, inheritance, Algebraic specification
2	Matt Webster, Grant Malcolm	Detection of metamorphic and virtualization-based malware using algebraic specification.	Journal in Computer Virology	2009	DBLP DOI BibTeX RDF
2	Jens Palsberg (eds.)	Semantics and Algebraic Specification, Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday	Semantics and Algebraic Specification	2009	DBLP DOI BibTeX RDF
2	José Meseguer	Order-Sorted Parameterization and Induction.	Semantics and Algebraic Specification	2009	DBLP DOI BibTeX RDF
2	Romain Demangeon, Daniel Hirschkoff, Davide Sangiorgi	Mobile Processes and Termination.	Semantics and Algebraic Specification	2009	DBLP DOI BibTeX RDF
2	Malgorzata Biernacka, Olivier Danvy	Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part II: Reduction Semantics and Abstract Machines.	Semantics and Algebraic Specification	2009	DBLP DOI BibTeX RDF
2	Kristian Støvring, Søren B. Lassen	A Complete, Co-inductive Syntactic Theory of Sequential Control and State.	Semantics and Algebraic Specification	2009	DBLP DOI BibTeX RDF
2	Jens Palsberg	Tribute to Peter Mosses.	Semantics and Algebraic Specification	2009	DBLP DOI BibTeX RDF
2	Luiz Carlos Castro Guedes, Edward Hermann Haeusler	Action Algebras and Model Algebras in Denotational Semantics.	Semantics and Algebraic Specification	2009	DBLP DOI BibTeX RDF
2	Bartek Klin	Structural Operational Semantics for Weighted Transition Systems.	Semantics and Algebraic Specification	2009	DBLP DOI BibTeX RDF
2	Olivier Danvy	Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part I: Denotational Semantics, Natural Semantics, and Abstract Machines.	Semantics and Algebraic Specification	2009	DBLP DOI BibTeX RDF
2	Kyung-Goo Doh, David A. Schmidt	An Action Semantics Based on Two Combinators.	Semantics and Algebraic Specification	2009	DBLP DOI BibTeX RDF
2	David A. Watt	Action Semantics in Retrospect.	Semantics and Algebraic Specification	2009	DBLP DOI BibTeX RDF
2	M. G. J. van den Brand, A. P. van der Meer, Alexander Serebrenik	Type Checking Evolving Languages with MSOS.	Semantics and Algebraic Specification	2009	DBLP DOI BibTeX RDF
2	Ben Titzer, Jens Palsberg	Vertical Object Layout and Compression for Fixed Heaps.	Semantics and Algebraic Specification	2009	DBLP DOI BibTeX RDF
2	Christiano Braga	A Constructive Semantics for Basic Aspect Constructs.	Semantics and Algebraic Specification	2009	DBLP DOI BibTeX RDF
2	Padmanabhan Krishnan, Percy Antonio Pari Salas	Model-Based Testing and the UML Testing Profile.	Semantics and Algebraic Specification	2009	DBLP DOI BibTeX RDF
2	André Murbach Maidl, Cláudio Carvilhe, Martin A. Musicante	An Implementation of Object-Oriented Action Semantics in Maude.	Semantics and Algebraic Specification	2009	DBLP DOI BibTeX RDF
2	Fernando Orejas, Martin Wirsing	On the Specification and Verification of Model Transformations.	Semantics and Algebraic Specification	2009	DBLP DOI BibTeX RDF
2	Hanne Gottliebsen, Kristoffer H. Rose	Converting between Combinatory Reduction Systems and Big Step Semantics.	Semantics and Algebraic Specification	2009	DBLP DOI BibTeX RDF
2	Hejiao Huang, Hélène Kirchner	Component-Based Security Policy Design with Colored Petri Nets.	Semantics and Algebraic Specification	2009	DBLP DOI BibTeX RDF	security policy, colored Petri net, specification and verification, property-preservation
2	Masaki Nakamura, Kokichi Futatsugi	On Equality Predicates in Algebraic Specification Languages.	ICTAC	2007	DBLP DOI BibTeX RDF
2	Matt Webster, Grant Malcolm	Detection of metamorphic computer viruses using algebraic specification.	Journal in Computer Virology	2006	DBLP DOI BibTeX RDF
2	Artur Boronat, José A. Carsí, Isidro Ramos	Algebraic Specification of a Model Transformation Engine.	FASE	2006	DBLP DOI BibTeX RDF	Model Transformation, Model-Driven Engineering, Traceability, Algebraic Specifications, QVT
2	Gregorio de Miguel Casado, Juan Manuel García Chamizo	The Role of Algebraic Models and Type-2 Theory of Effectivity in Special Purpose Processor Design.	CiE	2006	DBLP DOI BibTeX RDF	Theoretical VLSI design, Type-2 Theory of Effectivity, Integral transforms, Algebraic specification, Convolution, Online-arithmetic
2	David Kinny	Algebraic specification of agent computation.	Appl. Algebra Eng. Commun. Comput.	2005	DBLP DOI BibTeX RDF
2	Takahiro Seino, Kazuhiro Ogata, Kokichi Futatsugi	Supporting Case Analysis with Algebraic Specification Languages.	CIT	2004	DBLP DOI BibTeX RDF
2	Gabriel Ciobanu, Dorel Lucanu	Specification and Verification of Synchronizing Concurrent Objects.	IFM	2004	DBLP DOI BibTeX RDF	hidden algebra, model checking, integration, temporal logics, Algebraic specification, concurrent systems, CCS, object-oriented specification
2	Mohamed Hamdi, Noureddine Boudriga	Algebraic specification of network security risk management.	FMSE	2003	DBLP DOI BibTeX RDF	formal specifications, risk management, algebraic modeling
2	Kazuhiro Ogata, Kokichi Futatsugi	Proof Scores in the OTS/CafeOBJ Method.	FMOODS	2003	DBLP DOI BibTeX RDF	observational transition system, proof scores, the NSLPK authentication protocol, verification, Algebraic specification, CafeOBJ
2	Kazuhiro Ogata, Kokichi Futatsugi	Formal Analysis of the NetBill Electronic Commerce Protocol.	ISSS	2003	DBLP DOI BibTeX RDF	NetBill, OTS, verification, electronic commerce, security protocol, algebraic specification, CafeOBJ
2	Walter Dosch, Sönke Magnussen	Computer-Aided Refinement of Data Structures on Higher-Order Algebraic Specifications.	SERA	2003	DBLP DOI BibTeX RDF	Higher-order algebraic specification, refinement of data structure, algebraic implementation, transformation system
2	J. V. Tucker, Jeffery I. Zucker	Abstract computability and algebraic specification.	ACM Trans. Comput. Log.	2002	DBLP DOI BibTeX RDF	Abstract computability, conditional equations, metric algebras, topological algebras, algebraic specification, computable analysis, equational logic
2	Gwen Salaün, Michel Allemand, Christian Attiogbé	A Method to Combine any Process Algebra with an Algebraic Specification Language: the p-Calculus Example. (PDF / PS)	COMPSAC	2002	DBLP DOI BibTeX RDF
2	Yingxu Wang	Real-Time Process Algebra and Its Applications.	10th Anniversary Colloquium of UNU/IIST	2002	DBLP DOI BibTeX RDF	descriptive mathematics, 3-D problems, static/dynamic behaviors specification, Software engineering, real-time systems, formal methods, algebraic specification, architecture specification
2	Razvan Diaconescu	Grothendieck Institutions.	Applied Categorical Structures	2002	DBLP DOI BibTeX RDF	indexed categories, Grothendieck construction, algebraic specification, institutions, fibrations
2	Michel Bidoit, Donald Sannella, Andrzej Tarlecki	Architectural Specifications in CASL.	Formal Asp. Comput.	2002	DBLP DOI BibTeX RDF	CASL, Formal software development, Specification of program structure, Algebraic specification, Architectural specifications
2	Donald Sannella	The Common Framework Initiative for Algebraic Specification and Development of Software: Recent Progress.	WADT	2001	DBLP DOI BibTeX RDF
2	S. Kazem Lellahi	Conceptual Data Modeling: An Algebraic Viewpoint.	Ershov Memorial Conference	2001	DBLP DOI BibTeX RDF	conceptual model, meta-modeling, algebraic specification, algebraic semantics
2	Donald Sannella	The Common Framework Initiative for Algebraic Specification and Development of Software.	Ershov Memorial Conference	1999	DBLP DOI BibTeX RDF
2	Shin Nakajima	Using Algebraic Specification Techniques in Development of Object-Oriented Frameworks.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
2	Razvan Diaconescu, Kokichi Futatsugi, Shusaku Iida	Component-Based Algebraic Specification and Verification in CafeOBJ.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
2	Joseph A. Goguen	Social and Semiotic Analyses for Theorem Prover User Interface Design 1.	Formal Asp. Comput.	1999	DBLP DOI BibTeX RDF	Algebraic semiotics, CSCW, User interface design, Theorem proving, Algebraic specification, Semiotics, Sociology, Narratology
2	K. Stephenson	Towards an Algebraic Specification of the Java Virtual Machine.	Prospects for Hardware Foundations	1998	DBLP DOI BibTeX RDF
2	Patrícia D. L. Machado	On Oracles for Interpreting Test Results against Algebraic Specifications.	AMAST	1998	DBLP DOI BibTeX RDF	formal verification, correctness, algebraic specification, specification based-testing, oracle
2	Sophie Coudert, Gilles Bernot, Pascale Le Gall	Hierarchical Heterogeneous Specifications.	WADT	1998	DBLP DOI BibTeX RDF	structured specification, heterogeneous proof, formal specification, modularity, algebraic specification, proof theory, logical framework, inference system, heterogeneous specification
2	Peter D. Mosses	CoFI: The Common Framework Initiative for Algebraic Specification and Development.	TAPSOFT	1997	DBLP DOI BibTeX RDF
2	Carl K. Chang, Yi-Te Tseng, Ugo Buy	Compiling process algebraic specifications into timed automata. (PDF / PS)	COMPSAC	1997	DBLP DOI BibTeX RDF	Language of Timed Processes, process algebraic specification compilation, process-algebra-based specification language, process descriptions, periodic constraints, sporadic constraints, periodic behavior modelling, finite representation, delays, computations, timed automata, translation, algebraic specification, real-time applications, deadlines, execution time, automatic verification, timeouts, timing requirement, LTP, timed transition systems
2	Roong-Ko Doong, Phyllis G. Frankl	The ASTOOT Approach to Testing Object-Oriented Programs.	ACM Trans. Softw. Eng. Methodol.	1994	DBLP DOI BibTeX RDF	software testing, object-oriented programming, abstract data types, algebraic specification
2	Lutz H. Hamel, Joseph A. Goguen	Towards a Provably Correct Compiler for OBJ3.	PLILP	1994	DBLP DOI BibTeX RDF	compilers, algebraic specification, abstract machines, rewrite rules
2	Huimin Lin	Procedural Implementation of Algebraic Specification.	ACM Trans. Program. Lang. Syst.	1993	DBLP DOI BibTeX RDF	abstract implementation, Spec, program refinement, procedural abstraction
2	Yves Bertrand, Jean-François Dufourd, Jean Françon, Pascal Lienhardt	Algebraic Specification and Development in Geometric Modeling.	TAPSOFT	1993	DBLP DOI BibTeX RDF
2	Takeshige Miyoshi, Motoei Azuma	An Empirical Study of Evaluating Software Development Environment Quality.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	software development environment quality, FASET, software quality evaluation process model, ISO/IEC 9126, algebraic specification method, function-oriented specification, natural-language-oriented specification, diagrammatic specification, state-transition-oriented, formal specification, specification, software quality, programming environments, declarative specification, model-based specification
2	Jacek Leszczylowski, Martin Wirsing	Polymorphism, Parameterization and Typing: An Algebraic Specification Perspective.	STACS	1991	DBLP DOI BibTeX RDF
2	Ramesh Subrahmanyam	Complexity of Algebraic Specification.	FSTTCS	1990	DBLP DOI BibTeX RDF
2	David Alex Lamb	Specification of Iterators.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	trace specifications, common form, iterator module, Alphard-style iterators, sequence iterator, iterator construct, procedural parameters, formal specification, data structures, algebraic specification, high level languages, partial specifications
2	Hartmut Ehrig, Peter Pepper, Fernando Orejas	On Recent Trends in Algebraic Specification.	ICALP	1989	DBLP DOI BibTeX RDF
2	Bernd Krieg-Brückner	Algebraic Specification and Fundamentals for Transformational Program and Meta Program Development.	TAPSOFT, Vol.2	1989	DBLP DOI BibTeX RDF
2	Sjouke Mauw	An Algebraic Specification of Process Algebra, Including Two Examples.	Algebraic Methods	1987	DBLP DOI BibTeX RDF
2	Helmuth Partsch	Algebraic Specification: A Step Towards Future Software Engineering.	Algebraic Methods	1987	DBLP DOI BibTeX RDF
2	Herbert Klaeren, Klaus Indermark	Efficient Implementation of an Algebraic Specification Language.	Algebraic Methods	1987	DBLP DOI BibTeX RDF
2	Egidio Astesiano, Gianfranco Mascari, Gianna Reggio, Martin Wirsing	On the Parameterized Algebraic Specification of Concurrent Systems.	TAPSOFT, Vol.1	1985	DBLP DOI BibTeX RDF
2	Brigitte Biebow, Jacques Hagelstein	Algebraic Specification of Synchronisation and Errors: A Telephonic Example.	TAPSOFT, Vol.2	1985	DBLP DOI BibTeX RDF
2	Michel Bidoit	Algebraic Specification of Exception Handling and Error Recovery by Means of Declarations and Equations.	ICALP	1984	DBLP DOI BibTeX RDF
2	Alfred Laut	An Algebraic Specification of Pascal's File Type.	SIGPLAN Notices	1983	DBLP DOI BibTeX RDF
2	Hartmut Ehrig, Hans-Jörg Kreowski, James W. Thatcher, Eric G. Wagner, Jesse B. Wright	Parameter Passing in Algebraic Specification Languages.	Program Specification	1981	DBLP DOI BibTeX RDF
2	W. J. Hemmerle	Algebraic Specification of Statistical Models for Analysis of Variance Computations.	J. ACM	1964	DBLP DOI BibTeX RDF
1	Donald Sannella, Andrzej Tarlecki	Foundations of Algebraic Specification and Formal Software Development.		2012	DOI RDF
1	Katerina Ksystra, Nikolaos Triantafyllou, Petros S. Stefaneas, Panayiotis Frangos	An Algebraic Specification of the Semantic Web	CoRR	2011	DBLP BibTeX RDF
1	Katerina Ksystra, Konstantinos Barlas, Nikolaos Triantafyllou, Petros S. Stefaneas	A Dynamic Algebraic Specification for Social Networks	CoRR	2011	DBLP BibTeX RDF
1	Jeroen van den Bos, Mark Hills, Paul Klint, Tijs van der Storm, Jurgen J. Vinju	Rascal: From Algebraic Specification to Meta-Programming	AMMSE	2011	DBLP DOI BibTeX RDF
1	Arsène Sabas, Subash Shankar, Virginie Wiels, Michel Boyer	A Categorical Modeling Approach of Aspect-Oriented Systems.	TASE	2011	DBLP DOI BibTeX RDF	Algebraic Specification, Category Theory, Aspect-Oriented Modeling, Modular Reasoning
1	Till Mossakowski	On Teaching Logic and Algebraic Specification.	ECEASST	2010	DBLP BibTeX RDF
1	Razvan Diaconescu	Quasi-boolean encodings and conditionals in algebraic specification.	J. Log. Algebr. Program.	2010	DBLP DOI BibTeX RDF
1	Rudolf Berghammer, Britta Kehden	Relation-algebraic specification and solution of special university timetabling problems.	J. Log. Algebr. Program.	2010	DBLP DOI BibTeX RDF
1	Rafael del Vado Vírseda, Luis Jimenez Paniagua, Jose Marcos Barrio, Ruben Fuentes Iglesias	From the Algebraic Specification to the Real Implementation: An Educational Environment for the Interactive Learning of Data Structures and Algorithmic Schemes.	FECS	2010	DBLP BibTeX RDF
1	Hans-Jörg Kreowski, Sabine Kuske, Caroline von Totth	Combining Graph Transformation and Algebraic Specification into Model Transformation.	WADT	2010	DBLP DOI BibTeX RDF
1	Hong Zhu, Bo Yu	Algebraic Specification of Web Services.	QSIC	2010	DBLP DOI BibTeX RDF
1	Isabel Nunes, Antónia Lopes, Vasco Thudichum Vasconcelos	Bridging the Gap between Algebraic Specification and Object-Oriented Generic Programming.	RV	2009	DBLP DOI BibTeX RDF
1	David Briggs, Suad Alagic	Algebraic specification techniques for parametric types with logic-based constraints.	SAC	2009	DBLP DOI BibTeX RDF	parametric types, verification theories, assertions, PVS, JML
1	Rafael del Vado Vírseda	An Innovative Educational Environment for the Interactive Learning of Data Structures - From Algebraic Specification to Implementation.	CSEDU	2009	DBLP BibTeX RDF
1	Anya Helene Bagge, Valentin David, Magne Haveraaen	The axioms strike back: testing with concepts and axioms in C++.	GPCE	2009	DBLP DOI BibTeX RDF	axiom-based testing, C++, program transformation, test generation, generative programming, unit testing, algebraic specification, concepts, axioms, mouldable programming, C++0x
1	Huo Yan Chen, T. H. Tse	Automatic Generation of Normal Forms for Testing Object-Oriented Software.	QSIC	2009	DBLP DOI BibTeX RDF	equivalent fundamental pair, software testing, object-oriented program, algebraic specification, normal form
1	Robert M. Hierons	Verdict functions in testing with a fault domain or test hypotheses.	ACM Trans. Softw. Eng. Methodol.	2009	DBLP DOI BibTeX RDF	Test verdicts, fault domains, test hypotheses
1	Arnaud Fabre, Pascal Schreck	Combining symbolic and numerical solvers to simplify indecomposable systems solving.	SAC	2008	DBLP DOI BibTeX RDF	geometric constraint systems description, geometric universe, software engineering, algebraic specification
1	Jan A. Bergstra, John V. Tucker	Division Safe Calculation in Totalised Fields.	Theory Comput. Syst.	2008	DBLP DOI BibTeX RDF	Meadow, Zero totalised field, Elementary algebraic specification, Rational number
1	Hossein Hojjat, Mohammad Reza Mousavi, Marjan Sirjani	A framework for performance evaluation and functional verification in stochastic process algebras.	SAC	2008	DBLP DOI BibTeX RDF
1	Johannes Henkel, Christoph Reichenbach, Amer Diwan	Developing and debugging algebraic specifications for Java classes.	ACM Trans. Softw. Eng. Methodol.	2008	DBLP DOI BibTeX RDF	Algebraic interpretation, specification discovery, algebraic specifications
1	Jianwen Xiang, Dines Bjørner, Kokichi Futatsugi	Formal digital license language with OTS/CafeOBJ method.	AICCSA	2008	DBLP DOI BibTeX RDF
1	Huo Yan Chen, Lin Tan, T. H. Tse	A Scheme to Aid Construction of Left-Hand Sides of Axioms in Algebraic Specifications forObject-Oriented Program Testing.	CSSE	2008	DBLP DOI BibTeX RDF
1	César Domínguez	Formalizing in Coq Hidden Algebras to Specify Symbolic Computation Systems.	AISC/MKM/Calculemus	2008	DBLP DOI BibTeX RDF	hidden algebras, symbolic computation, Coq proof assistant
1	Michael Johnson, Robert D. Rosebrugh	Constant Complements, Reversibility and Universal View Updates.	AMAST	2008	DBLP DOI BibTeX RDF	category theory, semantic data model, View update
1	Kazuhiro Ogata, Kokichi Futatsugi	Formal Analysis of the Bakery Protocol with Consideration of Nonatomic Reads and Writes.	ICFEM	2008	DBLP DOI BibTeX RDF	observational transition system (OTS), verification, mutual exclusion, invariant property, CafeOBJ