Jurgen J. Vinju - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged algebraic specification

Rascal: From Algebraic Specification to Meta-ProgrammingJeroen van den Bos, Mark Hills, Paul Klint, Tijs van der Storm, Jurgen J. Vinju. In Proceedings Second International Workshop on Algebraic Methods in Model-based Software Engineering (AMMSE), Zurich, Switzerland, June 30, 2011. 2011: 15-32

From Signatures of Algebraic Specifications to Collections of Object-Oriented Class SignaturesBastian Dolle, Walter Dosch. icsea 2007: 3 [doi]

Algebraic Specification and Coalgebraic Synthesis of Mealy AutomataJan J. M. M. Rutten. ENTCS, 160:305-319, 2006. [doi]

Detection of metamorphic computer viruses using algebraic specificationMatt Webster, Grant Malcolm. virology, 2(3):149-161, 2006. [doi]

Transforming Functional Signatures of Algebraic Specifications Into Object-Oriented Class SignaturesBastian Dolle, Walter Dosch. apsec 2005: 323-332 [doi]

Application and Formal Specification of Sorted Term-Position AlgebrasArnd Poetzsch-Heffter, Nicole Rauch. WADT 2004: 201-217 [doi]

Predicate and Relation Lifting for Parametric Algebraic SpecificationsHendrik Tews. ENTCS, 106:335-353, 2004. [doi]

An Experiment to Compare the Comprehensibility of Textual and Visual Forms of Algebraic SpecificationsDuncan S. Neary, Martin R. Woodward. JCL (JVLC), 13(2):149-175, 2002. [doi]

The Common Framework Initiative for Algebraic Specification and Development of Software: Recent ProgressDonald Sannella. WADT 2001: 328-344 [doi]

CASL-CHART: A Combination of Statecharts and of the Algebraic Specification Language CASLGianna Reggio, Lorenzo Repetto. amast 2000: 243-257 [doi]

The Common Framework Initiative for Algebraic Specification and Development of SoftwareDonald Sannella. ershov 2000: 1-9 [doi]

On the Power of Quantifers in First-Order Algebraic SpecificationDavid Kempe, Arno Schöegge. csl 1999: 45-57

Generating an Algebraic Specification from an ER-ModelErnst-Erich Doberkat. ijseke, 7(4):525-552, 1997. [doi]

Parameterised Higher-Order Algebraic SpecificationsL. J. Steggles. icalp 1997: 76-98

Order-Sorted Algebraic Specifications with Higher-Order FunctionsAnne Elisabeth Haxthausen. TCS, 183(2):157-185, 1997. [doi]

Tool Support for Algebraic Specifications of Dat in SDL-92Nikolai Mansurov, Alexei S. Ragozin, Andrew V. Chernov, I. V. Mansurov. forte 1996: 61-76

::::InterACT::::: An Interactive Theorem Prover for Algebraic SpecificationsRobert Geisler, Marcus Klar, Felix Cornelius. amast 1996: 563-566

Pushouts of Order-Sorted Algebraic SpecificationsAnne Elisabeth Haxthausen, Friederike Nickl. amast 1996: 132-147

The Algebraic Specifications do not Have the Tennenbaum PropertyGrazyna Mirkowska, Andrzej Salwicki. FUIN, 28(1-2):141-152, 1996.

Algebraic Specifications and Sequencing: A Defect Detection MethodKurt M. Olender, James M. Bieman. stvr, 5(1):49-70, 1995.

Deontic Concepts in the Algebraic Specification of Dynamic Systems: The Permission CaseEva Coscia, Gianna Reggio. compass 1996: 161-181

Order-sorted Algebraic Specifications with Higher-order FunctionsAnne Elisabeth Haxthausen. amast 1995: 133-151

Semantic Typing for Parametric Algebraic SpecificationsMaría Victoria Cengarle. amast 1995: 261-276

Formal Problem Specification on an Algebraic BasisHelmuth Partsch. ifip2-1 1993: 183-224

Procedural Implementation of Algebraic SpecificationHuimin Lin. TOPLAS, 15(5):876-895, 1993. [doi]

A Formalism for the Specification of Essentially Algebraic Structures in 2-CategoriesA. John Power, Charles Wells. mscs, 2(1):1-28, 1992.

Implementing Higher-Order Functions in an Algebraic Specification Language with NarrowingBernhard Reus. plilp 1992: 483-484

Implementation of a Toolset for Prototyping Algebraic Specifications of Concurrent SystemsAlessandro Giovini, Franco Morando, Antonio Capani. icalp 1992: 335-349

Towards a Theory for the Animation of Algebraic SpecificationCatharina Rieckhoff. compass 1994: 310-320

ACT TWO: An Algebraic Module Specification and Interconnection LanguageWerner Fey. amast 1992: 187-200

Bounded Implementation of Algebraic SpecificationsMichael Breu. compass 1993: 181-198

Algebraic Specification at WorkEgidio Astesiano, Alessandro Giovini, Franco Morando, Gianna Reggio. amast 1992: 26-42

Algebraic Specification of ConcurrencyEgidio Astesiano, Gianna Reggio. compass 1993: 1-39

Hybrid Implementations of Algebraic SpecificationsH. R. Walters. icalp 1990: 40-54

Complexity of Algebraic SpecificationRamesh Subrahmanyam. fsttcs 1990: 33-37

An Algebraic Specification of Method Combination for the Common Lisp Object SystemWalter G. Olthoff, James Kempf. lisp, 2(2):115-152, 1989.

Prototyping Non-Deterministic Algebraic Specifications using the RAP SystemHeinrich Hußmann. WADT 1988:

Modular Algebraic Specification of Some Basic Geometrical ConstructionsJoseph A. Goguen. ai, 37(1-3):123-153, 1988.

Modular Algebraic SpecificationsHorst Hansen, Michael Löwe. icalp 1988: 168-179

Revised ACT ONE: Categorical Constructions for an Algebraic Specification LanguageIngo Claßen. category 1989: 124-141

Order-Theoretic Specification of Algebras with Non-Monotonic OperationsFriederike Nickl. WADT 1988:

The Passau RAP System: Rapid Prototyping for Algebraic SpecificationsHeinrich Hußmann. ctrs 1988: 264-265

Efficient Implementation of an Algebraic Specification LanguageHerbert Klaeren, Klaus Indermark. am 1989: 69-90

From Algebraic Specifications towards Algebraic ProgramsHorst Hansen. adt 1986:

The Passau RAP System: Prototyping Algebraic Specifications Using Conditional NarrowingHeinrich Hußmann. cade 1986: 689-690

Algebraic Specification of Synchronisation and Errors: A Telephonic ExampleBrigitte Biebow, Jacques Hagelstein. tapsoft 1985: 294-308

Combining Algebraic and Predicative Specifications in LarchJames J. Horning. tapsoft 1985: 12-26

A Contructive Method for Abstract Algebraic Software SpecificationHerbert Klaeren. TCS, 30:139-204, 1984.

On the Algebraic Specification of Concurrency and CommunicationJean-Pierre Finance, M. S. Ouerghi. icpp 1983: 281-288

Operational Aspects of Algebraic SpecificationsHans-Dieter Ehrich. adt 1982:

runs on WebDSL