1908 search results - page 243 / 382 » How to teach software modeling |
140
click to vote
ICSE
2008
IEEE-ACM
16 years 4 months ago
2008
IEEE-ACM
This paper examines the suitability and use of runtime verification as means for monitoring security protocols and their properties. In particular, we employ the runtime verificat...
148
Voted
ICSR
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Software Product Lines (SPL) promote reuse within an application domain in an organized fashion. Preimplemented software components are arranged according to a product li...
174
click to vote
AOSD
2006
ACM
15 years 10 months ago
2006
ACM
The relationships between objects in object-oriented programs are as important as the objects themselves. Unfortunately, most objectoriented programming languages provide little s...
130
click to vote
CCGRID
2002
IEEE
15 years 9 months ago
2002
IEEE
Porting large applications to distributed computing platforms is a challenging task from a software engineering perspective. The Computational Grid has gained tremendous popularit...
149
click to vote
FMCAD
2007
Springer
15 years 8 months ago
2007
Springer
Parameterized heuristics abound in computer aided design and verification, and manual tuning of the respective parameters is difficult and time-consuming. Very recent results from ...