Sciweavers

2625 search results - page 341 / 525
» The development of the Emerald programming language
Sort
View
HOLOMAS
2009
Springer
15 years 11 months ago
Design and Implementation of LabVIEW-Based IEC61499 Compliant Device
The method of IEC 61499 compliant device implementation with the National Instruments LabVIEW is proposed. The work focuses on these aspects of the tasks of the event generation an...
Grzegorz Polaków, Mieczyslaw Metzger
SAFECOMP
1999
Springer
15 years 10 months ago
Formal Design of Distributed Control Systems with Lustre
During the last decade, the synchronous approach has proved to meet industrial needs concerning the development of Distributed Control Systems (DCS): as an example, Schneider Elect...
Paul Caspi, Christine Mazuet, Rym Salem, Daniel We...
WWW
2001
ACM
16 years 7 months ago
Objectifying the Web the Light Way: an RDF-based Framework for the Description of Web Objects
The advantages of object-oriented (OO) programming are well-known. Nevertheless, distributed OO middleware systems (OOM) such as CORBA, DCOM or Java RMI have not been widely adopt...
Pasqualino Assini
HOTOS
2007
IEEE
15 years 10 months ago
Towards a Practical, Verified Kernel
In the paper we examine one of the issues in designing, specifying, implementing and formally verifying a small operating system kernel -- how to provide a productive and iterativ...
Kevin Elphinstone, Gerwin Klein, Philip Derrin, Ti...
FM
2009
Springer
171views Formal Methods» more  FM 2009»
16 years 1 months ago
Formal Management of CAD/CAM Processes
Abstract. Systematic engineering design processes have many aspects in common with software engineering, with CAD/CAM objects replacing program code as the implementation stage of ...
Michael Kohlhase, Johannes Lemburg, Lutz Schrö...