Sciweavers

3801 search results - page 39 / 761
» An Approach to Modeling Software Safety
Sort
View
85
Voted
SIGCOMM
2010
ACM
14 years 10 months ago
capDL: a language for describing capability-based systems
Capabilities provide an access control model that can be used to construct systems where safety of protection can be precisely determined. However, in order to be certain of the s...
Ihor Kuz, Gerwin Klein, Corey Lewis, Adam Walker
ICCSA
2010
Springer
14 years 7 months ago
An Aspect-Oriented Approach for Mobile Embedded Software Modeling
Recently, it is one of the most challenging fields in software engineering for embedded software development, since the advancement of embedded technologies has made our life incre...
Yong-Yi Fanjiang, Jong-Yih Kuo, Shang-Pin Ma, Wong...
ICSM
2002
IEEE
15 years 2 months ago
Combining Software Quality Predictive Models: An Evolutionary Approach
During the past ten years, a large number of quality models have been proposed in the literature. In general, the goal of these models is to predict a quality factor starting from...
Salah Bouktif, Houari A. Sahraoui, Balázs K...
SIGSOFT
2010
ACM
14 years 7 months ago
From requirements to partial behavior models: an iterative approach to incremental specification refinement
In this thesis, I will improve the state-of-the-art for capturing, analyzing, and refining functional requirements by providing support for synthesizing, analyzing, and refining M...
Ivo Krka
IASTEDSEA
2004
14 years 11 months ago
XML-based programming language modeling: An approach to software engineering
Today's software faces escalating technical and business difficulties, yet it continues to be coded in static, inflexible structures that are not prepared for automation and ...
Christian Reichel, Roy Oberhauser