Sciweavers

4799 search results - page 213 / 960
» Model Based Requirements Engineering for Embedded Software
Sort
View
ISSRE
2005
IEEE
16 years 18 days ago
Safety Analysis of Software Product Lines Using State-Based Modeling
The difficulty of managing variations and their potential interactions across an entire product line currently hinders safety analysis in safety-critical, software product lines. ...
Jing Liu, Josh Dehlinger, Robyn R. Lutz
176
Voted
KBSE
2010
IEEE
15 years 5 months ago
Tool support for quality-driven development of software architectures
In this paper, we present a prototype tool that supports the systematic development of software architectures driven by quality requirements using architectural tactics. The tool ...
Suntae Kim, Dae-Kyoo Kim, Sooyong Park
SAC
2003
ACM
16 years 8 days ago
Designing and Specifying Mobility within the Multiagent Systems Engineering Methodology
Recently, researchers have created many platforms and applications for mobile agents; however, current Agent-Oriented Software Engineering (AOSE) methodologies have yet not fully ...
Athie L. Self, Scott A. DeLoach
204
Voted
CASES
2003
ACM
16 years 8 days ago
Encryption overhead in embedded systems and sensor network nodes: modeling and analysis
Recent research in sensor networks has raised issues of security for small embedded devices. Security concerns are motivated by the deployment of a large number of sensory devices...
Ramnath Venugopalan, Prasanth Ganesan, Pushkin Ped...
212
Voted
ICLP
2004
Springer
16 years 12 days ago
Applying CLP to Predict Extra-Functional Properties of Component-Based Models
A component is the basic re-usable unit of composition to build composite systems by connecting to others through their provided and required ports. Checking the functional complia...
Olivier Defour, Jean-Marc Jézéquel, ...