Sciweavers

4029 search results - page 242 / 806
» Experience with Software Watermarking
Sort
View
TFM
2009
Springer
119views Formal Methods» more  TFM 2009»
16 years 16 days ago
Teaching Formal Methods for the Unconquered Territory
Abstract. We summarise our experiences in teaching two formal methods courses at Pontificia Universidad Javeriana. The first course is a JML-based software engineering course. Th...
Néstor Cataño, Camilo Rueda
CSSE
2008
IEEE
16 years 12 days ago
Model Curriculum Construction of Embedded System in Zhejiang University
Embedded systems have been used widely promoted by the advancement of semiconductor technology. This also makes embedded system education a challenge for the universities. The cur...
Tianzhou Chen, Qingsong Shi, Hu Wei, Jolly Wang, N...
COMPSAC
2007
IEEE
16 years 9 days ago
Model Oriented Evolutionary Redocumentation
This paper discusses aspects of the redocumentation of legacy systems and proposes a model oriented approach to generating documentation, which is to produce models from existing ...
Feng Chen, Hongji Yang
XPU
2007
Springer
16 years 1 days ago
Motivation and Cohesion in Agile Teams
This research explored aspects of agile teamwork initiatives associated with positive socio-psychological phenomena, with a focus on phenomena outside the scope of traditional mana...
Elizabeth Whitworth, Robert Biddle
IWPC
2006
IEEE
15 years 12 months ago
Integrating Reverse Engineering Tools Using a Service-Sharing Methodology
A common and difficult maintenance activity is the integration of existing software components or tools into a consistent and interoperable whole. One area in which this has prove...
Dean Jin, James R. Cordy