Sciweavers

1351 search results - page 120 / 271
» Towards a Spreadsheet Engineering
Sort
View
ADC
2003
Springer
101views Database» more  ADC 2003»
15 years 9 months ago
Operational Semantics of Transactions
Mathematics is forcing towards a consistent framework of theory development. Computer Science is an engineering discipline and sometimes suffers from ad-hoc definitions. Transac...
Andreas Prinz, Bernhard Thalheim
AUIC
2002
IEEE
15 years 9 months ago
Tangible User Interaction Using Augmented Reality
This paper describes a novel use of augmented reality for the visualisation of virtual objects as part of the move towards pervasive computing. It uses fiducial markers as switche...
Bruce H. Thomas, Hannah Slay, Rudi Vernik
HICSS
2002
IEEE
77views Biometrics» more  HICSS 2002»
15 years 9 months ago
Language Driven System Design
Studies have shown significant benefits of the use of Domain-Specific Languages. However, designing a DSL still seems to be an art, rather than a craft following a clear method...
Sjouke Mauw, Wouter T. Wiersma, Tim A. C. Willemse
JOT
2007
123views more  JOT 2007»
15 years 4 months ago
The Systems Modeling Language for Products and Systems Development
In this paper we present an overview of the capabilities of the Systems Modeling Language (SysML.) SysML is a standard from the Object Management Group. It is geared toward increm...
Laurent Balmelli
132
Voted
ECBS
2006
IEEE
175views Hardware» more  ECBS 2006»
15 years 10 months ago
Correct-ed through Construction: A Model-based Approach to Embedded Systems Reality
We present a design methodology for specifying embedded systems that addresses the complex nature of embedded systems design. Our approach uses modern model-based techniques to co...
Ethan K. Jackson, Janos Sztipanovits