Sciweavers

2206 search results - page 168 / 442
» Software Engineering and Modeling Education: Problems and So...
Sort
View
ICSE
2009
IEEE-ACM
16 years 1 months ago
Integrating sustainability in decision-making processes: A modelling strategy
One of the most difficult problems that humanity currently faces is the sustainable development of our society, i.e. how to meet the needs of the present without compromising the...
Jordi Cabot, Steve M. Easterbrook, Jennifer Horkof...
SIGSOFT
2001
ACM
16 years 7 months ago
WREN---an environment for component-based development
Prior research in software environments focused on three important problems-- tool integration, artifact management, and process guidance. The context for that research, and hence...
Chris Lüer, David S. Rosenblum
ECOOP
2006
Springer
15 years 10 months ago
Design-Based Pointcuts Robustness Against Software Evolution
Aspect-Oriented Programming (AOP) is a powerful technique to better modularize object-oriented programs by introducing crosscutting concerns in a safe and noninvasive way. Unfortu...
Walter Cazzola, Sonia Pini, Massimo Ancona
FSEN
2009
Springer
15 years 10 months ago
Verification, Performance Analysis and Controller Synthesis for Real-Time Systems
This note aims at providing a concise and precise Travellers Guide, Phrase Book or Reference Manual to the timed automata modeling formalism introduced by Alur and Dill [7, 8]. The...
Uli Fahrenberg, Kim G. Larsen, Claus R. Thrane
AMAST
2006
Springer
15 years 10 months ago
Hyperfinite Approximations to Labeled Markov Transition Systems
The problem of finding an approximation to a labeled Markov transition system through hyperfinite transition systems is addressed. It is shown that we can find for each countable ...
Ernst-Erich Doberkat