Sciweavers

1856 search results - page 23 / 372

» Formal Dialectic Specification

16

AMAST
2004
Springer

80views Software Engineering» more AMAST 2004»

Formalizing and Proving Semantic Relations between Specifications by Reflection

14 years 3 months ago

Formalizing and Proving Semantic Relations between Specifications by Reflection

Download maude.sip.ucm.es

Manuel Clavel, Narciso Martí-Oliet, Miguel ...

claim paper

Read More »

18

BIRTHDAY
2004
Springer

81views Applied Computing» more BIRTHDAY 2004»

Applied Formal Methods - From CSP to Executable Hybrid Specifications

14 years 3 months ago

Applied Formal Methods - From CSP to Executable Hybrid Specifications

Download www.informatik.uni-bremen.de

Jan Peleska

claim paper

Read More »

32

HICSS
2003
IEEE

106views Biometrics» more HICSS 2003»

Formal Behavioural Synthesis of Handel-C Parallel Hardware Implementations from Functional Specifications

14 years 3 months ago

Formal Behavioural Synthesis of Handel-C Parallel Hardware Implementations from Functional Specifications

Download www.hicss.hawaii.edu

Ali E. Abdallah, John Hawkins

claim paper

Read More »

29

HICSS
2003
IEEE

107views Biometrics» more HICSS 2003»

Embedding Domain Specific Languages in the Attribute Grammar Formalism

14 years 3 months ago

Embedding Domain Specific Languages in the Attribute Grammar Formalism

Download www.hicss.hawaii.edu

João Saraiva, Sérgio Schneider

claim paper

Read More »

24

AOSE
2003
Springer

109views Intelligent Agents» more AOSE 2003»

Agent-Oriented Modeling by Interleaving Formal and Informal Specification

14 years 3 months ago

Agent-Oriented Modeling by Interleaving Formal and Informal Specification

Download dit.unitn.it

Anna Perini, Marco Pistore, Marco Roveri, Angelo S...

claim paper

Read More »

« Prev « First page 23 / 372 Last » Next »