Sciweavers

2878 search results - page 46 / 576
» Analyzing the Uses of a Software Modeling Tool
Sort
View
IJIT
2004
13 years 9 months ago
A System for Performance Evaluation of Embedded Software
Developers need to evaluate software's performance to make software efficient. This paper suggests a performance evaluation system for embedded software. The suggested system ...
Yong-Yoon Cho, Jong-Bae Moon, Young-Chul Kim
ICSE
2000
IEEE-ACM
13 years 11 months ago
A software engineering approach and tool set for developing Internet applications
If a business built a plant to produce products without first designing a process to manufacture them, the risk would be lack of capacity without significant plant redesign. Simil...
David A. Marca, Beth A. Perdue
JUCS
2008
165views more  JUCS 2008»
13 years 8 months ago
A Product Derivation Tool Based on Model-Driven Techniques and Annotations
: In this paper, we present a model-based tool for product derivation. Our tool is centered on the definition of three models (feature, architecture and configuration models) which...
Elder Cirilo, Uirá Kulesza, Carlos Jos&eacu...
ISOLA
2010
Springer
13 years 6 months ago
HATS: Highly Adaptable and Trustworthy Software Using Formal Methods
The HATS project develops a formal method for the design, analysis, and implementation of highly adaptable software systems that are at the same time characterized by a high demand...
Reiner Hähnle
WOSP
2004
ACM
14 years 1 months ago
Software performance modelling using PEPA nets
Modelling and analysing distributed and mobile software systems is a challenging task. PEPA nets—coloured stochastic Petri nets—are a recently introduced modelling formalism w...
Stephen Gilmore, Jane Hillston, Leïla Kloul, ...