Sciweavers

21379 search results - page 482 / 4276
» The profession of IT - Evolutionary system development
Sort
View
HICSS
2002
IEEE
93views Biometrics» more  HICSS 2002»
16 years 3 days ago
Using Event Semantics for Modeling Contracts
Currently a number of these on-line support systems for electronic contracting are under development. In this paper we develop a logical formalism to represent the content of busi...
Yao-Hua Tan, Walter Thoen
GI
2005
Springer
16 years 20 days ago
Automated Quality Assurance for UML Models
Abstract: Model based development, like proposed by the OMG’s Model Driven Arre (MDA), aims to raise the level of abstraction from working on the code to working with models. For...
Tilman Seifert, Florian Jug, Günther Rackl
SERA
2005
Springer
16 years 19 days ago
A Design and Test Technique for Embedded Software
In recent years, embedded systems have become so complex and the development time to market is required to be shorter than before. As embedded systems include more functions for n...
Byeongdo Kang, Young-Jik Kwon, Roger Y. Lee
ASWEC
2009
IEEE
15 years 5 months ago
From Requirements to Embedded Software - Formalising the Key Steps
Failure of a design to satisfy a system's requirements can result in schedule and cost overruns. When using current approaches, ensuring requirements are satisfied is often d...
Toby Myers, R. Geoff Dromey
ECBS
2005
IEEE
160views Hardware» more  ECBS 2005»
16 years 23 days ago
Building Compilers by Combining Algebras
Embedded systems present a wide variety of challenges for developers of language tools. Verification of correctness, flexibility for adding new language features, and retargetin...
Garrin Kimmell, Ed Komp, Perry Alexander