Sciweavers

2878 search results - page 46 / 576
» Analyzing the Uses of a Software Modeling Tool
Sort
View
IJIT
2004
15 years 1 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
15 years 3 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»
14 years 11 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
14 years 9 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
15 years 5 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, ...