Sciweavers

1759 search results - page 7 / 352
» Overview of Generative Software Development
Sort
View
DATE
2002
IEEE
119views Hardware» more  DATE 2002»
14 years 1 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
13 years 6 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
14 years 16 days 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
14 years 27 days ago
Generating Application Development Environments for Java Frameworks
Markku Hakala, Juha Hautamäki, Kai Koskimies,...
ACMICEC
2003
ACM
130views ECommerce» more  ACMICEC 2003»
14 years 1 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,...