Sciweavers

1823 search results - page 19 / 365

» Formal specification: a roadmap

15

AMAST
2004
Springer

80views Software Engineering» more AMAST 2004»

Formalizing and Proving Semantic Relations between Specifications by Reflection

14 years 1 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 »

15

BIRTHDAY
2004
Springer

81views Applied Computing» more BIRTHDAY 2004»

Applied Formal Methods - From CSP to Executable Hybrid Specifications

14 years 1 months ago

Applied Formal Methods - From CSP to Executable Hybrid Specifications

Download www.informatik.uni-bremen.de

Jan Peleska

claim paper

Read More »

24

HICSS
2003
IEEE

106views Biometrics» more HICSS 2003»

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

14 years 29 days 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 »

25

HICSS
2003
IEEE

107views Biometrics» more HICSS 2003»

Embedding Domain Specific Languages in the Attribute Grammar Formalism

14 years 29 days 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 »

19

AOSE
2003
Springer

109views Intelligent Agents» more AOSE 2003»

Agent-Oriented Modeling by Interleaving Formal and Informal Specification

14 years 27 days 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 19 / 365 Last » Next »