Sciweavers

1103 search results - page 58 / 221
» Evaluating Software Architectures for Usability
Sort
View
JSS
2010
120views more  JSS 2010»
13 years 3 months ago
Handling communications in process algebraic architectural description languages: Modeling, verification, and implementation
Architectural description languages are a useful tool for modeling complex systems at a high level of abstraction. If based on formal methods, they can also serve for enabling the...
Marco Bernardo, Edoardo Bontà, Alessandro A...
APN
2006
Springer
14 years 14 days ago
ArgoSPE: Model-Based Software Performance Engineering
Stochastic Petri nets (SPNs) have been proved useful for the quantitative analysis of systems. This paper introduces ArgoSPE, a tool for the performance evaluation of software syst...
Elena Gómez-Martínez, José Me...
MKM
2009
Springer
14 years 1 months ago
Compensating the Computational Bias of Spreadsheets with MKM Techniques
Spreadsheets are mathematical documents that are heavily employed in administration, financial forecasting, education, and science because of their intuitive, flexible, and direc...
Andrea Kohlhase, Michael Kohlhase
ICSM
2002
IEEE
14 years 1 months ago
Atomic Architectural Component Recovery for Program Understanding and Evolution
Component recovery and remodularization is a means to get back control on large and complex legacy systems suffering from ad-hoc changes by recovering logical components and restr...
Rainer Koschke
ROBOCUP
1998
Springer
127views Robotics» more  ROBOCUP 1998»
14 years 28 days ago
Design and Evaluation of the T-Team of the University of Tuebingen for RoboCup'98
Abstract. In this paper we present the hard- and software architecture of the robots of the T-Team Tuebingen, which participated in the RoboCup'98. This paper describes how we...
Michael Plagge, Boris Diebold, Richard Günthe...