Sciweavers

6348 search results - page 371 / 1270
» A Lesson for Software Engineering from Knowledge Engineering
Sort
View
ICECCS
2007
IEEE
86views Hardware» more  ICECCS 2007»
15 years 9 months ago
What Use is Verified Software?
The world at large cares little for verified software; what it cares about are trustworthy and cost-effective systems that do their jobs well. We examine the value of verified sof...
John M. Rushby
SIGSOFT
2008
ACM
15 years 3 months ago
Definition and modeling of process using object orientation
Software development processes can be represented as objects because they and the elements that compose them have attributes and operations, can be linked by relationships and hav...
Beatriz Terezinha Borsoi, Jorge Luis Risco Becerra
128
Voted
ICSE
2004
IEEE-ACM
16 years 5 months ago
Architecture-Based Reliability Prediction for Service-Oriented Computing
In service-oriented computing, services are dynamically built as an assembly of pre-existing, independently developed, network accessible services. Hence, predicting as much as pos...
Vincenzo Grassi
CSSE
2008
IEEE
15 years 11 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
15 years 11 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