Sciweavers

4799 search results - page 278 / 960
» Model Based Requirements Engineering for Embedded Software
Sort
View
CSMR
1999
IEEE
15 years 11 months ago
A Change Impact Model for Changeability Assessment in Object-Oriented Software Systems
Growing maintenance costs have become a major concern for developers and users of software systems. Changeability is an important aspect of maintainability, especially in environm...
M. Ajmal Chaumun, Hind Kabaili, Rudolf K. Keller, ...
159
Voted
SEKE
2001
Springer
15 years 11 months ago
A Prototype Experience Management System for a Software Consulting Organization
The Experience Management System (EMS) is aimed at supporting the capture and reuse of software-related experience, based on the Experience Factory concept. It is being developed ...
Manoel Gomes de Mendonça Neto, Carolyn B. S...
SAC
2006
ACM
16 years 17 days ago
A UML 2-compatible language and tool for formal modeling real-time system architectures
ArchiTRIO is a formal language, which complements UML 2.0 concepts with a formal, logic-based notation that allows users to state system-wide properties, both static and dynamic, ...
Pietro Colombo, Matteo Pradella, Matteo Rossi
ICECCS
2000
IEEE
135views Hardware» more  ICECCS 2000»
15 years 11 months ago
Definitions of Equivalence for Transformational Synthesis of Embedded Systems
Design of embedded systems is a complex task that requires design cycles founded upon formal notation, so that the synthesis from specification to implementation can be carried ou...
Luis Alejandro Cortés, Petru Eles, Zebo Pen...
WWW
2006
ACM
16 years 7 months ago
From adaptation engineering to aspect-oriented context-dependency
The evolution of the Web requires to consider an increasing number of context-dependency issues. Therefore, in our research we focus on how to extend a Web application with additi...
Sven Casteleyn, Zoltán Fiala, Geert-Jan Hou...