Search Sciweavers | Sciweavers

1823 search results - page 21 / 365

» Formal specification: a roadmap

click to vote

WER
1998
Springer

70views Software Engineering» more WER 1998»

Guidelines From Organizational Requirements to Formal Specification

13 years 12 months ago

Download wer.inf.puc-rio.br

Fernanda M. R. Alencar, Jaelson Castro

claim paper

Read More »

click to vote

ISSS
1997
IEEE

59views Hardware» more ISSS 1997»

Derivation of Formal Representations from Process-Based Specification and Implementation Models

13 years 12 months ago

Download www.cs.york.ac.uk

Steven Vercauteren, Diederik Verkest, Gjalt G. de ...

claim paper

Read More »

click to vote

WETICE
1997
IEEE

101views Emerging Technology» more WETICE 1997»

From Protocol Specifications to Flaws and Attack Scenarios: An Automatic and Formal Algorithm

13 years 12 months ago

Download users.encs.concordia.ca

Mourad Debbabi, Mohamed Mejri, Nadia Tawbi, I. Yah...

claim paper

Read More »

click to vote

CODES
1996
IEEE

106views Software Engineering» more CODES 1996»

A Co-Design Methodology Based on Formal Specification and High-level Estimation

13 years 12 months ago

Download www.cse.iitd.ernet.in

Carlos Carreras, Juan Carlos López, Mar&iac...

claim paper

Read More »

click to vote

EURODAC
1994
IEEE

159views VHDL» more EURODAC 1994»

Formal verification of behavioral VHDL specifications: a case study

13 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers