Sciweavers

4799 search results - page 218 / 960
» Model Based Requirements Engineering for Embedded Software
Sort
View
SCESM
2006
ACM
239views Algorithms» more  SCESM 2006»
16 years 15 days ago
Aspect-oriented software design with a variant of UML/STD
The notion of aspect is important as a systematic approach to the representation of cross-cutting concerns and the incremental additions of new functionalities to an existing syst...
Shin Nakajima, Tetsuo Tamai
APSEC
2009
IEEE
15 years 4 months ago
A Formal Framework to Integrate Timed Security Rules within a TEFSM-Based System Specification
Abstract--Formal methods are very useful in software industry and are becoming of paramount importance in practical engineering techniques. They involve the design and the modeling...
Wissam Mallouli, Amel Mammar, Ana R. Cavalli
NIPS
2007
15 years 8 months ago
Mining Internet-Scale Software Repositories
Large repositories of source code create new challenges and opportunities for statistical machine learning. Here we first develop Sourcerer, an infrastructure for the automated c...
Erik Linstead, Paul Rigor, Sushil Krishna Bajracha...
ITCC
2005
IEEE
16 years 3 days ago
Misuse Case-Based Design and Analysis of Secure Software Architecture
This paper presents an approach to the architectural design and analysis of secure software systems based on the system requirements elicited in the form of use cases and misuse c...
Joshua J. Pauli, Dianxiang Xu
CSMR
2005
IEEE
16 years 4 days ago
A Process Model and Typology for Software Product Updaters
Product software is constantly evolving through extensions, maintenance, changing requirements, changes in configuration settings, and changing licensing information. Managing ev...
Slinger Jansen, Gerco Ballintijn, Sjaak Brinkkempe...