Search Sciweavers | Sciweavers

1031 search results - page 12 / 207

» On the Formal Development of Safety-Critical Software

click to vote

KBSE
1997
IEEE

172views Software Engineering» more KBSE 1997»

Application of Formal Methods to the Development of a Software Maintenance Tool

13 years 11 months ago

Download hal.archives-ouvertes.fr

Partial evaluation is an optimization technique traditionally used in compilation. We have adapted this technique to the understanding of scientic application programs during t...

Sandrine Blazy, Philippe Facon

claim paper

Read More »

click to vote

FORTE
1998

137views Formal Methods» more FORTE 1998»

Hardware - Software Co-design of embedded telecommunication systems using multiple formalisms for application development

13 years 8 months ago

Download www.intracom-telecom.com

: In this paper a co-design methodology based on multiformalism modelling is presented. It defines a platform that integrates different notations and, the necessary mechanisms to h...

Nikos S. Voros, S. K. Tsasakou, C. Valderrama, S. ...

claim paper

Read More »

click to vote

BIRTHDAY
2006
Springer

119views Applied Computing» more BIRTHDAY 2006»

Composition by Colimit and Formal Software Development

13 years 11 months ago

Download ftp.kestrel.edu

Abstract. Goguen emphasized long ago that colimits are how to compose systems [7]. This paper corroborates and elaborates Goguen's vision by presenting a variety of situations...

Douglas R. Smith

claim paper

Read More »

click to vote

CSI
1998

62views more CSI 1998»

Frameworks: the future of formal software development?

13 years 7 months ago

Download eprints.gla.ac.uk

Richard O. Sinnott

claim paper

Read More »