Search Sciweavers | Sciweavers

1823 search results - page 24 / 365

» Formal specification: a roadmap

click to vote

TCSB
2010

141views Computational Biology» more TCSB 2010»

A Language for Biochemical Systems: Design and Formal Specification

13 years 6 months ago

Download homepages.inf.ed.ac.uk

Michael Pedersen, Gordon D. Plotkin

claim paper

Read More »

click to vote

KBSE
2010
IEEE

122views Software Engineering» more KBSE 2010»

SpecDiff: debugging formal specifications

13 years 5 months ago

Download www.comp.nus.edu.sg

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

claim paper

Read More »

click to vote

ICAART
2009
INSTICC

57views Intelligent Agents» more ICAART 2009»

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

13 years 5 months ago

Download cms.brookes.ac.uk

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

claim paper

Read More »

click to vote

SIMULATION
2010

96views more SIMULATION 2010»

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

13 years 2 months ago

Download www.fceia.unr.edu.ar

Rodrigo Castro, Ernesto Kofman, Gabriel A. Wainer

claim paper

Read More »

click to vote

FTRTFT
1992
Springer

128views Formal Methods» more FTRTFT 1992»

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

13 years 11 months ago

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 24 / 365 Last » Next »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers