Search Sciweavers | Sciweavers

1031 search results - page 12 / 207

» On the Formal Development of Safety-Critical Software

121

click to vote

KBSE
1997
IEEE

172views Software Engineering» more KBSE 1997»

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

15 years 4 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 »

Voted

FORTE
1998

137views Formal Methods» more FORTE 1998»

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

15 years 1 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

15 years 4 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?

15 years 7 days ago

Download eprints.gla.ac.uk

Richard O. Sinnott

claim paper

Read More »