Sciweavers

1856 search results - page 28 / 372

» Formal Dialectic Specification

127

TCSB
2010

141views Computational Biology» more TCSB 2010»

A Language for Biochemical Systems: Design and Formal Specification

15 years 2 months ago

A Language for Biochemical Systems: Design and Formal Specification

Download homepages.inf.ed.ac.uk

Michael Pedersen, Gordon D. Plotkin

claim paper

Read More »

134

Voted

KBSE
2010
IEEE

122views Software Engineering» more KBSE 2010»

SpecDiff: debugging formal specifications

15 years 1 months ago

SpecDiff: debugging formal specifications

Download www.comp.nus.edu.sg

Zhenchang Xing, Jun Sun 0001, Yang Liu 0003, Jin S...

claim paper

Read More »

79

ICAART
2009
INSTICC

57views Intelligent Agents» more ICAART 2009»

Modelling and Formal Specification of a Multiagent Telemedicine System for Diabetes Care

15 years 1 months ago

Modelling and Formal Specification of a Multiagent Telemedicine System for Diabetes Care

Download cms.brookes.ac.uk

Iñaki Martínez-Sarriegui, Hong Zhu, ...

claim paper

Read More »

122

SIMULATION
2010

96views more SIMULATION 2010»

A Formal Framework for Stochastic Discrete Event System Specification Modeling and Simulation

14 years 10 months ago

A Formal Framework for Stochastic Discrete Event System Specification Modeling and Simulation

Download www.fceia.unr.edu.ar

Rodrigo Castro, Ernesto Kofman, Gabriel A. Wainer

claim paper

Read More »

174

FTRTFT
1992
Springer

128views Formal Methods» more FTRTFT 1992»

Specification and Verification of Real-Time Behaviour Using Z and RTL

15 years 8 months ago

Specification and Verification of Real-Time Behaviour Using Z and RTL

Download sky.fit.qut.edu.au

Real-Time Logic is a formal notation for reasoning about temporal behaviour. Z is a general purpose specification language, but lacks explicit features for expressing real-time co...

Colin J. Fidge

claim paper

Read More »

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