Sciweavers

4029 search results - page 242 / 806
» Experience with Software Watermarking
Sort
View
TFM
2009
Springer
119views Formal Methods» more  TFM 2009»
16 years 1 months 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 1 months 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 1 months 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 months 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
16 years 1 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