Sciweavers

1949 search results - page 224 / 390
» Protective Interface Specifications
Sort
View
136
Voted
ICSE
2007
IEEE-ACM
16 years 3 months ago
Plug-and-Play Architectural Design and Verification
Abstract. In software architecture, components represent the computational units of a system and connectors represent the interactions among those units. Making decisions about the...
Shangzhu Wang, George S. Avrunin, Lori A. Clarke
132
Voted
GLOBECOM
2007
IEEE
15 years 10 months ago
Advanced Multicast and Broadcast Content Distribution in Mobile Cellular Networks
—Recently 3GPP (Third Generation Partnership Project) has standardised MBMS (Multimedia Broadcast Multicast Services) enabling broadcast and multicast transmissions over GPRS (Ge...
Michael Knappmeyer, Björn Ricks, Ralf Tö...
119
Voted
IFM
2007
Springer
126views Formal Methods» more  IFM 2007»
15 years 9 months ago
Common Semantics for Use Cases and Task Models
In this paper, we introduce a common semantic framework for developing and formally modeling use cases and task models. Use cases are the notation of choice for functional require...
Daniel Sinnig, Patrice Chalin, Ferhat Khendek
112
Voted
ISESE
2006
IEEE
15 years 9 months ago
Identifying domain-specific defect classes using inspections and change history
We present an iterative, reading-based methodology for analyzing defects in source code when change history is available. Our bottom-up approach can be applied to build knowledge ...
Taiga Nakamura, Lorin Hochstein, Victor R. Basili
134
Voted
RTCSA
2006
IEEE
15 years 9 months ago
An RTOS API Translator for Model-Driven Embedded Software Development
In this paper, we present a model-driven approach to RTOS-based embedded software development and an automated tool that can produce RTOS-specific code. Our contributions are two ...
Ji Chan Maeng, Jong-Hyuk Kim, Minsoo Ryu