3763 search results - page 456 / 753 » Component-Based Software Engineering Processes |
179
click to vote
SCAM
2007
IEEE
16 years 28 days ago
2007
IEEE
This paper presents an implementation of the “form template method” refactoring. This transformation has not been automated yet, but has many similarities with other transform...
181
click to vote
B
2007
Springer
16 years 25 days ago
2007
Springer
Distributed applications are based on algorithms which should be able to deal with time constraints. It is mandatory to express time constraints in (mathematical) models and the cu...
177
click to vote
CCS
2007
ACM
16 years 25 days ago
2007
ACM
Systematic approaches to measuring security are needed in order to obtain evidence of the security performance of products or an organization. In this study we survey the emerging...
147
click to vote
RE
2007
Springer
16 years 23 days ago
2007
Springer
Scenarios are widely and successfully used to discover requirements for software-intensive systems. Recent advances in mobile computing technologies mean that mobile tools can sup...
166
click to vote
ASWEC
2006
IEEE
16 years 21 days ago
2006
IEEE
This paper describes the formalisation of Java thread synchronisation in an extended Owicki-Gries theory, which facilitates the proof of safety and progress properties of multi-th...