CiteULike: scis0000001's specification [54 articles]

iCAP: An Informal Tool for Interactive Prototyping of Context-Aware Applications

(2003)

by T. Sohn, A. Dey

posted to interactive prototyping specification by scis0000001 on 2007-05-22 20:58:05 as

along with 1 person knud

Static semantic analysis and theorem proving for CASL

In Workshop on Algebraic Development Techniques (1997), pp. 333-348.

by Till Mossakowski, Kolyang, Bernd K. Bruckner

posted to casl proof specification by scis0000001 on 2007-05-22 20:26:37 as

Specification of Behavioural Requirements within Compositional Multi-agent System Design

In Proceedings of the 9th European Workshop on Modelling Autonomous Agents in a Multi-Agent World : Multi-Agent System Engineering (MAAMAW-99), Vol. 1647 (~March0--~February 1999), pp. 8-27.

by Daniela E. Herlea, Catholijn M. Jonker, Jan Treur, Niek J. E. Wijngaards

edited by Francisco J. Garijo, Magnus Boman

posted to mas requirements specification by scis0000001 on 2007-05-21 15:01:23 as

along with 1 person Scis0000002

A New Approach for Specification and Verification of Distributed Agents

by Andrew M. Mironov, Virendra C. Bhavsar

posted to mas specification verification by scis0000001 on 2007-05-21 14:59:24 as

Manipulating algebraic specifications with term-based and graph-based representations

Journal of Logic and Algebraic Programming In Annotated Terms (ATerms), Vol. 59, No. 1-2. ( 2004), pp. 63-87.

by Anamaria M. Moreira, Christophe Ringeissen, David Deharbe, Gleydson Lima

posted to specification by scis0000001 on 2007-05-16 00:17:54 as

Relating CASL with other specification languages: the institution level

Theor. Comput. Sci., Vol. 286, No. 2. (September 2002), pp. 367-475.

by Till Mossakowski

posted to institutions parchments specification unified-concept-theory by scis0000001 on 2007-05-16 00:09:57 as

along with 2 people Scis0000002 marcinzalewski

Visualization vs. Specification in Diagrammatic Notations: A Case Study with the UML

In DIAGRAMS '02: Proceedings of the Second International Conference on Diagrammatic Representation and Inference (2002), pp. 112-115.

by Zinovy Diskin

posted to category-theory diagrammatic-reasoning sketches specification uml visualization by scis0000001 on 2007-05-16 00:06:40 as

CASL: From Semantics to Tools

In Tools and Algorithms for Construction and Analysis of Systems (2000), pp. 93-108.

by Till Mossakowski

posted to casl specification by scis0000001 on 2007-05-15 23:16:13 as

along with 2 people mishra_satish glaubersp

Generalizing CASL Specification Components and Preserving Rewrite Proofs

by Anamaria M. Moreira, Christophe Ringeissen

posted to casl specification by scis0000001 on 2007-05-15 23:14:06 as

along with 1 person blog01

Uniform Representation of Basic Algebraic Structures in Computer Algebra

In Design and Implementation of Symbolic Computation Systems (1996), pp. 202-203.

by Carla Limongelli, Giuseppina Malerba, Marco Temperini

posted to algebraic-structures specification by scis0000001 on 2007-05-15 14:50:10 as

On the Role of Category Theory in the Area of Algebraic Specification

In Selected papers from the 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop on Recent Trends in Data Type Specification (1996), pp. 17-48.

by Hartmut Ehrig, Martin Gro&\#223;e-Rhode, Uwe Wolter

Relating Casl with Other Specification Languages: the Institution Level

In Theoretical Computer Science

by T. Mossakowski

posted to casl specification by scis0000001 on 2007-05-15 14:21:48 as

Defining and Applying Measures of Distance Between Specifications

IEEE Trans. Softw. Eng., Vol. 27, No. 8. (August 2001), pp. 673-703.

by Lamia L. Jilani, Jules Desharnais, Ali Mili

posted to distance similarity specification by scis0000001 on 2007-05-15 09:51:45 as

Mathematical Foundations for Program Transformations

In LOPSTR '98: Proceedings of the 8th International Workshop on Logic Programming Synthesis and Transformation (1990), pp. 319-321.

by Rahma B. Ayed, Jules Desharnais, Marc Frappier, Ali Mili

Management of Evolving Specifications using Category Theory

In Automated Software Engineering (1998), pp. 12-21.

by Virginie Wiels, Steve Easterbrook

posted to formal-development specification by scis0000001 on 2007-05-11 15:03:02 as

2-categorical specification of partial algebras

In Selected papers from 9th workshop on Specification of abstract data types : recent trends in data type specification (1992), pp. 207-219.

by Martin Gro&\#223;e-Rhode, Uwe Wolter

posted to 2-categorical specification by scis0000001 on 2007-05-11 09:00:04 as

Specifying diagram animation with rewrite systems

(1997)

by B. Meyer, K. Marriott

posted to animation diagram editor rewriting specification by scis0000001 on 2007-05-10 02:11:31 as

along with 1 person jrw

Interconnection of object specifications

(1996)

by G. Malcolm

posted to specification by scis0000001 on 2007-05-10 01:30:22 as

2-Categorical Specification of Partial Algebras

by Martin G. Rhode, Uwe Wolter

posted to higher-dimensional-category-theory specification by scis0000001 on 2007-05-06 12:28:09 as

along with 1 person jrw

Modular and Visual Specification of Hybrid Systems -- An Introduction to HyCharts --

(1998)

by Radu Grosu, Thomas Stauner

posted to modularity specification visual by scis0000001 on 2007-05-05 01:22:48 as

along with 1 person Scis0000002

Structured Theory Presentations and Logic Representations

Annals of Pure and Applied Logic, Vol. 67, No. 1-3. (1994), pp. 113-160.

by Robert Harper, Donald Sannella, Andrzej Tarlecki

posted to presentation representation specification by scis0000001 on 2007-05-03 13:24:28 as

A Formal Compiler Specification Method

by V. Levin, E. Bounimova, K. Inan

posted to compiler specification by scis0000001 on 2007-05-03 01:09:23 as

Rapid Prototyping of Specification Language Implementations

In IEEE International Workshop on Rapid System Prototyping (1999), pp. 60-65.

by Martin Leucker, Thomas Noll

posted to prototyping specification by scis0000001 on 2007-04-28 23:16:10 as

On a reference model for the formalization and integration of software specification languages

(2001), pp. 215-225.

by Martin Gro&\#223;e-Rhode

posted to specification by scis0000001 on 2007-04-28 07:19:01 as

Languages and methods for specifying real-time systems

(August 2002)

by Jan Carlson

posted to real-time specification by scis0000001 on 2007-04-28 07:17:56 as

Relevance, Integration and Classification of Specification Formalisms and Formal Specification Techniques

by H. Ehrig, F. Orejas, J. Padberg

posted to formal-methods specification by scis0000001 on 2007-04-28 07:14:24 as

Rewriting Logic Semantics: From Language Specifications To Formal Analysis Tools

by José Meseguer, Grigore Rosu

posted to formal-methods maude model-checker rewriting-logic semantics specification by scis0000001 on 2007-04-27 23:59:54 as

Specification of real-time and hybrid systems in rewriting logic

(2001)

by P. Olveczky, J. Meseguer

posted to real-time rewriting-logic specification by scis0000001 on 2007-04-27 23:48:16 as

Formalizing ODP Enterprise Specifications in Maude

by Francisco Duran, Antonio Vallecillo

posted to enterprise maude odp specification by scis0000001 on 2007-04-27 22:57:54 as

Automatic Generation of Functional Programs from CASL Specifications

In ICSEA '06: Proceedings of the International Conference on Software Engineering Advances (2006)

by Agnes Arnould, Laurent Fuchs, Marc Aiguier, Thibaud Brunet

posted to specification by scis0000001 on 2007-04-21 15:17:25 as

EpsiloNN --- A Tool for the Abstract Specification and Parallel Simulation of Neural Networks

(1999)

by A. Strey

posted to neural-network specification by scis0000001 on 2007-04-16 13:39:34 as

Structured theories and institutions

(1999)

by F. Dur, Meseguer

posted to institutions lifting parchments specification by scis0000001 on 2007-04-14 02:02:48 as

Specification and Analysis of Real-Time and Hybrid Systems in Rewriting Logic

by Peter C. Ölveczky

posted to hybrid real-time rewriting-logic specification by scis0000001 on 2007-04-14 01:54:57 as

Theoroidal Maps as Algebraic Simulations

: Recent Trends in Algebraic Development Techniques (2005), pp. 126-143.

by Narciso Martí-Oliet, José Meseguer, Miguel Palomino

posted to algebraic category-of-specifications category-of-theories institutions intertheory simulation specification temporal-logic temporal-logic-institution theoroidal theory-development by scis0000001 on 2007-04-07 13:17:39 as

along with 1 person Scis0000002

Combining Specification Techniques for Processes, Data and Time

by Jochen Hoenicke, Ernst R. Olderog

posted to specification by scis0000001 on 2007-03-17 13:59:46 as

Patent Space Visualization for Patent Retrieval

by A. W. Mclean

A language for configuring multi-level specifications

Theor. Comput. Sci., Vol. 351, No. 2. (February 2006), pp. 146-166.

by Gillian Hill, Steven Vickers

posted to language multi-level multiscale specification by scis0000001 on 2007-02-18 15:56:40 as

Modular Specifications: Constructions With Finite Colimits, Diagrams, Isomorphisms

by Catherine Oriat

posted to modular specification by scis0000001 on 2007-02-18 15:45:26 as

An executable specification of an argumentation protocol

In ICAIL '03: Proceedings of the 9th international conference on Artificial intelligence and law (2003), pp. 1-11.

by Alexander Artikis, Marek Sergot, Jeremy Pitt

posted to argumentation executable protocol specification by scis0000001 on 2007-02-18 15:34:12 as

Mirror, Mirror in my Hand: A Duality between Specifications and Models of Process Behaviour

Mathematical Structures in Computer Science, Vol. 6, No. 4. (1996), pp. 353-373.

by Jose L. Fiadeiro, Jose F. Costa

posted to adjoint-functors behaviour curry-howard-isomorphism duality process semantics specification stone-duality syntax by scis0000001 on 2007-02-16 08:43:06 as

Argumentation-theoretic proof procedures for default reasoning

(1997)

by P. Dung, R. Kowalski, F. Toni

Timed model-based programming: Executable specifications for robust mission-critical sequences

(2003)

by M. Ingham

posted to temporal specification real-time-computing model-based executable by scis0000001 on 2007-02-03 15:36:42 as

Real-time specification and reasoning using maximal intervals

(1999)

by C. Fidge, I. Hayes, B. Mahony, A. Wabenhorst

posted to specification real-time inference by scis0000001 on 2007-01-30 10:26:15 as

Mirror, Mirror in my Hand: a duality between specifications and models of process behaviour

(1996)

by J. Fiadeiro, J. Costa

posted to specification process duality behaviour by scis0000001 on 2007-01-28 00:52:41 as

Institutions: abstract model theory for specification and programming

J. ACM, Vol. 39, No. 1. (January 1992), pp. 95-146.

by Joseph A. Goguen, Rod M. Burstall

posted to specification programming model-theory institutions by scis0000001 on 2007-01-28 00:25:13 as

along with 9 people and 2 groups mishra_satish fraktalek mahler msakai bonotake adrian_pigors masteraka marcinzalewski Scis0000002 ConcertRG Rightscom

Institutions for Behaviour Specification

In Recent Trends in Data Type Specification, Vol. 906 (1995), pp. 273-289.

by J. Fiadeiro, J. F. Costa

edited by E. Astesiano, G. Reggio, A. Tarlecki

posted to specification institutions behaviour by scis0000001 on 2007-01-27 14:35:23 as

along with 1 person blog01

Towards an FCA based tool for visualising formal specifications

(2003)

by T. Tilley

posted to fca formal-methods specification by scis0000001 on 2006-11-24 14:31:30 as

Reasoning with Executable Specifications

In TAPSOFT '95: Theory and Practice of Software Development, No. 915. (1995), pp. 531-45.

by Yves Bertot, Ranan Fraer

edited by P. D. Mosses, M. Nielsen, M. I. Schwartzbach

posted to executable inference modeling specification by scis0000001 on 2006-11-24 14:13:16 as

The Specification of Agent Behavior by Ordinary People: A Case Study

by Luke Mcdowell, Oren Etzioni, Alon Halevy

posted to behavior computational-narratology control intentions specification ui by scis0000001 on 2006-10-31 09:53:58 as

Agent UML: A formalism for specifying multiagent interaction

by B. Bauer, J. Muller, J. Odell

edited by Ciancarini, Wooldridge

posted to diagrammatic-reasoning interaction interactivity mas specification specifying uml by scis0000001 on 2006-10-06 08:55:28 as

	iCAP: An Informal Tool for Interactive Prototyping of Context-Aware Applications [My Copy] (2003) by T. Sohn, A. Dey posted to interactive prototyping specification by scis0000001 on 2007-05-22 20:58:05 as along with 1 person knud
	Static semantic analysis and theorem proving for CASL [My Copy] In Workshop on Algebraic Development Techniques (1997), pp. 333-348. by Till Mossakowski, Kolyang, Bernd K. Bruckner posted to casl proof specification by scis0000001 on 2007-05-22 20:26:37 as
	Specification of Behavioural Requirements within Compositional Multi-agent System Design [My Copy] In Proceedings of the 9th European Workshop on Modelling Autonomous Agents in a Multi-Agent World : Multi-Agent System Engineering (MAAMAW-99), Vol. 1647 (~March0--~February 1999), pp. 8-27. by Daniela E. Herlea, Catholijn M. Jonker, Jan Treur, Niek J. E. Wijngaards edited by Francisco J. Garijo, Magnus Boman posted to mas requirements specification by scis0000001 on 2007-05-21 15:01:23 as along with 1 person Scis0000002
	A New Approach for Specification and Verification of Distributed Agents [My Copy] by Andrew M. Mironov, Virendra C. Bhavsar posted to mas specification verification by scis0000001 on 2007-05-21 14:59:24 as
	Manipulating algebraic specifications with term-based and graph-based representations [My Copy] Journal of Logic and Algebraic Programming In Annotated Terms (ATerms), Vol. 59, No. 1-2. ( 2004), pp. 63-87. by Anamaria M. Moreira, Christophe Ringeissen, David Deharbe, Gleydson Lima posted to specification by scis0000001 on 2007-05-16 00:17:54 as
	Relating CASL with other specification languages: the institution level [My Copy] Theor. Comput. Sci., Vol. 286, No. 2. (September 2002), pp. 367-475. by Till Mossakowski posted to institutions parchments specification unified-concept-theory by scis0000001 on 2007-05-16 00:09:57 as along with 2 people Scis0000002 marcinzalewski
	Visualization vs. Specification in Diagrammatic Notations: A Case Study with the UML [My Copy] In DIAGRAMS '02: Proceedings of the Second International Conference on Diagrammatic Representation and Inference (2002), pp. 112-115. by Zinovy Diskin posted to category-theory diagrammatic-reasoning sketches specification uml visualization by scis0000001 on 2007-05-16 00:06:40 as
	CASL: From Semantics to Tools [My Copy] In Tools and Algorithms for Construction and Analysis of Systems (2000), pp. 93-108. by Till Mossakowski posted to casl specification by scis0000001 on 2007-05-15 23:16:13 as along with 2 people mishra_satish glaubersp
	Generalizing CASL Specification Components and Preserving Rewrite Proofs [My Copy] by Anamaria M. Moreira, Christophe Ringeissen posted to casl specification by scis0000001 on 2007-05-15 23:14:06 as along with 1 person blog01
	Uniform Representation of Basic Algebraic Structures in Computer Algebra [My Copy] In Design and Implementation of Symbolic Computation Systems (1996), pp. 202-203. by Carla Limongelli, Giuseppina Malerba, Marco Temperini posted to algebraic-structures specification by scis0000001 on 2007-05-15 14:50:10 as
	On the Role of Category Theory in the Area of Algebraic Specification [My Copy] In Selected papers from the 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop on Recent Trends in Data Type Specification (1996), pp. 17-48. by Hartmut Ehrig, Martin Gro&\#223;e-Rhode, Uwe Wolter posted to algebraicity category-of-specifications category-theory classifying-categories concurrency configuration-space formal-development higher-dimensional-category-theory indexed-categories lattice-of-specifications metascience sketch-theory specification specification-lattice specifications-lattice topos-theory unified-concept-theory by scis0000001 on 2007-05-15 14:30:26 as along with 1 person Scis0000002
	Relating Casl with Other Specification Languages: the Institution Level [My Copy] In Theoretical Computer Science by T. Mossakowski posted to casl specification by scis0000001 on 2007-05-15 14:21:48 as
	Defining and Applying Measures of Distance Between Specifications [My Copy] IEEE Trans. Softw. Eng., Vol. 27, No. 8. (August 2001), pp. 673-703. by Lamia L. Jilani, Jules Desharnais, Ali Mili posted to distance similarity specification by scis0000001 on 2007-05-15 09:51:45 as
	Mathematical Foundations for Program Transformations [My Copy] In LOPSTR '98: Proceedings of the 8th International Workshop on Logic Programming Synthesis and Transformation (1990), pp. 319-321. by Rahma B. Ayed, Jules Desharnais, Marc Frappier, Ali Mili posted to abstract-machine combination composition compositionality computability-logic computational-science constructive formal-development formal-science hetcasl heterogeneity hets iff logics matching program program-adaptation program-transformation programming proof proof-transformation software-incrementation software-merging specification transformation unified-concept-theory by scis0000001 on 2007-05-15 09:29:13 as along with 1 person Scis0000002
	Management of Evolving Specifications using Category Theory [My Copy] In Automated Software Engineering (1998), pp. 12-21. by Virginie Wiels, Steve Easterbrook posted to formal-development specification by scis0000001 on 2007-05-11 15:03:02 as
	$My PDF gro&\#223;e-rhode_92_2categorical.pdf$ 2-categorical specification of partial algebras [My Copy] In Selected papers from 9th workshop on Specification of abstract data types : recent trends in data type specification (1992), pp. 207-219. by Martin Gro&\#223;e-Rhode, Uwe Wolter posted to 2-categorical specification by scis0000001 on 2007-05-11 09:00:04 as
	Specifying diagram animation with rewrite systems [My Copy] (1997) by B. Meyer, K. Marriott posted to animation diagram editor rewriting specification by scis0000001 on 2007-05-10 02:11:31 as along with 1 person jrw
	Interconnection of object specifications [My Copy] (1996) by G. Malcolm posted to specification by scis0000001 on 2007-05-10 01:30:22 as
	2-Categorical Specification of Partial Algebras [My Copy] by Martin G. Rhode, Uwe Wolter posted to higher-dimensional-category-theory specification by scis0000001 on 2007-05-06 12:28:09 as along with 1 person jrw
	Modular and Visual Specification of Hybrid Systems -- An Introduction to HyCharts -- [My Copy] (1998) by Radu Grosu, Thomas Stauner posted to modularity specification visual by scis0000001 on 2007-05-05 01:22:48 as along with 1 person Scis0000002
	Structured Theory Presentations and Logic Representations [My Copy] Annals of Pure and Applied Logic, Vol. 67, No. 1-3. (1994), pp. 113-160. by Robert Harper, Donald Sannella, Andrzej Tarlecki posted to presentation representation specification by scis0000001 on 2007-05-03 13:24:28 as
	A Formal Compiler Specification Method [My Copy] by V. Levin, E. Bounimova, K. Inan posted to compiler specification by scis0000001 on 2007-05-03 01:09:23 as
	Rapid Prototyping of Specification Language Implementations [My Copy] In IEEE International Workshop on Rapid System Prototyping (1999), pp. 60-65. by Martin Leucker, Thomas Noll posted to prototyping specification by scis0000001 on 2007-04-28 23:16:10 as
	$My PDF gro&\#223;e-rhode_01_reference.pdf$ On a reference model for the formalization and integration of software specification languages [My Copy] (2001), pp. 215-225. by Martin Gro&\#223;e-Rhode posted to specification by scis0000001 on 2007-04-28 07:19:01 as
	Languages and methods for specifying real-time systems [My Copy] (August 2002) by Jan Carlson posted to real-time specification by scis0000001 on 2007-04-28 07:17:56 as
	Relevance, Integration and Classification of Specification Formalisms and Formal Specification Techniques [My Copy] by H. Ehrig, F. Orejas, J. Padberg posted to formal-methods specification by scis0000001 on 2007-04-28 07:14:24 as
	Rewriting Logic Semantics: From Language Specifications To Formal Analysis Tools [My Copy] by José Meseguer, Grigore Rosu posted to formal-methods maude model-checker rewriting-logic semantics specification by scis0000001 on 2007-04-27 23:59:54 as
	Specification of real-time and hybrid systems in rewriting logic [My Copy] (2001) by P. Olveczky, J. Meseguer posted to real-time rewriting-logic specification by scis0000001 on 2007-04-27 23:48:16 as
	Formalizing ODP Enterprise Specifications in Maude [My Copy] by Francisco Duran, Antonio Vallecillo posted to enterprise maude odp specification by scis0000001 on 2007-04-27 22:57:54 as
	Automatic Generation of Functional Programs from CASL Specifications [My Copy] In ICSEA '06: Proceedings of the International Conference on Software Engineering Advances (2006) by Agnes Arnould, Laurent Fuchs, Marc Aiguier, Thibaud Brunet posted to specification by scis0000001 on 2007-04-21 15:17:25 as
	EpsiloNN --- A Tool for the Abstract Specification and Parallel Simulation of Neural Networks [My Copy] (1999) by A. Strey posted to neural-network specification by scis0000001 on 2007-04-16 13:39:34 as
	Structured theories and institutions [My Copy] (1999) by F. Dur, Meseguer posted to institutions lifting parchments specification by scis0000001 on 2007-04-14 02:02:48 as
	Specification and Analysis of Real-Time and Hybrid Systems in Rewriting Logic [My Copy] by Peter C. Ölveczky posted to hybrid real-time rewriting-logic specification by scis0000001 on 2007-04-14 01:54:57 as
	Theoroidal Maps as Algebraic Simulations [My Copy] : Recent Trends in Algebraic Development Techniques (2005), pp. 126-143. by Narciso Martí-Oliet, José Meseguer, Miguel Palomino posted to algebraic category-of-specifications category-of-theories institutions intertheory simulation specification temporal-logic temporal-logic-institution theoroidal theory-development by scis0000001 on 2007-04-07 13:17:39 as along with 1 person Scis0000002
	Combining Specification Techniques for Processes, Data and Time [My Copy] by Jochen Hoenicke, Ernst R. Olderog posted to specification by scis0000001 on 2007-03-17 13:59:46 as
	Patent Space Visualization for Patent Retrieval [My Copy] by A. W. Mclean posted to category-of-patents category-of-specifications category-of-theories design-theory dev formal-development hyperefficiency innovating innovation-theory inventing invention-theory lattice-of-patents mda patent-development patent-lattice patent-space patent-specification patent-strategy patent-theory patents portfolio product-development specification theory-development unified-concept-theory visualization by scis0000001 on 2007-03-15 14:43:47 as along with 1 person Scis0000002
	A language for configuring multi-level specifications [My Copy] Theor. Comput. Sci., Vol. 351, No. 2. (February 2006), pp. 146-166. by Gillian Hill, Steven Vickers posted to language multi-level multiscale specification by scis0000001 on 2007-02-18 15:56:40 as
	Modular Specifications: Constructions With Finite Colimits, Diagrams, Isomorphisms [My Copy] by Catherine Oriat posted to modular specification by scis0000001 on 2007-02-18 15:45:26 as
	An executable specification of an argumentation protocol [My Copy] In ICAIL '03: Proceedings of the 9th international conference on Artificial intelligence and law (2003), pp. 1-11. by Alexander Artikis, Marek Sergot, Jeremy Pitt posted to argumentation executable protocol specification by scis0000001 on 2007-02-18 15:34:12 as
	Mirror, Mirror in my Hand: A Duality between Specifications and Models of Process Behaviour [My Copy] Mathematical Structures in Computer Science, Vol. 6, No. 4. (1996), pp. 353-373. by Jose L. Fiadeiro, Jose F. Costa posted to adjoint-functors behaviour curry-howard-isomorphism duality process semantics specification stone-duality syntax by scis0000001 on 2007-02-16 08:43:06 as
	Argumentation-theoretic proof procedures for default reasoning [My Copy] (1997) by P. Dung, R. Kowalski, F. Toni posted to argumentation argumentation-theory atp category-theory computability-logic curry-howard-isomorphism dialogue game-theory games implementation incompleteness lp metalogic-programming metalogics model-theory nonmonotonicity oops proof proof-procedure proof-search proof-theory proof-tree protocol search-space searching semantics specification stone-duality tree by scis0000001 on 2007-02-14 14:09:28 as
	Timed model-based programming: Executable specifications for robust mission-critical sequences [My Copy] (2003) by M. Ingham posted to temporal specification real-time-computing model-based executable by scis0000001 on 2007-02-03 15:36:42 as
	Real-time specification and reasoning using maximal intervals [My Copy] (1999) by C. Fidge, I. Hayes, B. Mahony, A. Wabenhorst posted to specification real-time inference by scis0000001 on 2007-01-30 10:26:15 as
	Mirror, Mirror in my Hand: a duality between specifications and models of process behaviour [My Copy] (1996) by J. Fiadeiro, J. Costa posted to specification process duality behaviour by scis0000001 on 2007-01-28 00:52:41 as
	Institutions: abstract model theory for specification and programming [My Copy] J. ACM, Vol. 39, No. 1. (January 1992), pp. 95-146. by Joseph A. Goguen, Rod M. Burstall posted to specification programming model-theory institutions by scis0000001 on 2007-01-28 00:25:13 as along with 9 people and 2 groups mishra_satish fraktalek mahler msakai bonotake adrian_pigors masteraka marcinzalewski Scis0000002 ConcertRG Rightscom
	Institutions for Behaviour Specification [My Copy] In Recent Trends in Data Type Specification, Vol. 906 (1995), pp. 273-289. by J. Fiadeiro, J. F. Costa edited by E. Astesiano, G. Reggio, A. Tarlecki posted to specification institutions behaviour by scis0000001 on 2007-01-27 14:35:23 as along with 1 person blog01
	Towards an FCA based tool for visualising formal specifications [My Copy] (2003) by T. Tilley posted to fca formal-methods specification by scis0000001 on 2006-11-24 14:31:30 as
	Reasoning with Executable Specifications [My Copy] In TAPSOFT '95: Theory and Practice of Software Development, No. 915. (1995), pp. 531-45. by Yves Bertot, Ranan Fraer edited by P. D. Mosses, M. Nielsen, M. I. Schwartzbach posted to executable inference modeling specification by scis0000001 on 2006-11-24 14:13:16 as
	The Specification of Agent Behavior by Ordinary People: A Case Study [My Copy] by Luke Mcdowell, Oren Etzioni, Alon Halevy posted to behavior computational-narratology control intentions specification ui by scis0000001 on 2006-10-31 09:53:58 as
	Agent UML: A formalism for specifying multiagent interaction [My Copy] by B. Bauer, J. Muller, J. Odell edited by Ciancarini, Wooldridge posted to diagrammatic-reasoning interaction interactivity mas specification specifying uml by scis0000001 on 2006-10-06 08:55:28 as

scis0000001's specification [54 articles] Export

scis0000001's tags