Sciweavers

1759 search results - page 7 / 352
» Overview of Generative Software Development
Sort
View
DATE
2002
IEEE
119views Hardware» more  DATE 2002»
15 years 6 months ago
UML for Embedded Systems Specification and Design: Motivation and Overview
The specification, design and implementation of embedded systems demands new approaches which go beyond traditional hardware-based notations such as HDLs. The growing dominance of...
Grant Martin
ICSE
2009
IEEE-ACM
14 years 11 months ago
Semi-automated traceability maintenance: An architectural overview of traceMaintainer
traceMaintainer is a tool that supports an approach for maintaining post-requirements traceability relations after changes have been made to traced model elements. The update of t...
Patrick Mäder, Orlena Gotel, Ilka Philippow
ICFEM
1997
Springer
15 years 5 months ago
Formally Specifying and Verifying Real-Time Systems
A real-time computer system is a system that must perform its functions within specified time bounds. These systems are generally characterized by complex interactions with the en...
Richard A. Kemmerer
GCSE
2001
Springer
15 years 5 months ago
Generating Application Development Environments for Java Frameworks
Markku Hakala, Juha Hautamäki, Kai Koskimies,...
ACMICEC
2003
ACM
130views ECommerce» more  ACMICEC 2003»
15 years 6 months ago
A business-to-business interoperability testbed: an overview
In this paper, we describe a business-to-business (B2B) testbed co-sponsored by the Open Applications Group, Inc. (OAGI) and the National Institute of Standard and Technology (NIS...
Boonserm Kulvatunyou, Nenad Ivezic, Monica Martin,...