Sciweavers

4759 search results - page 469 / 952
» Software Development Based on Software Pattern Evolution
Sort
View
TASE
2007
IEEE
16 years 19 days ago
Design of a Certifying Compiler Supporting Proof of Program Safety
Safety is an important property of high-assurance software, and one of the hot research topics on it is the verification method for software to meet its safety policies. In our p...
Yiyun Chen, Lin Ge, Baojian Hua, Zhaopeng Li, Chen...
162
Voted
DEXA
2007
Springer
132views Database» more  DEXA 2007»
16 years 16 days ago
Exploring Knowledge Management with a Social Semantic Desktop Architecture
The motivation of this paper is to research the individual and the team levels of knowledge management, in order to unveil prominent knowledge needs, interactions and processes, an...
Niki Papailiou, Dimitris Apostolou, Dimitris Panag...
ICWE
2007
Springer
16 years 15 days ago
The Challenges of Application Service Hosting
In this paper, we discuss the major issues associated with the new model of software delivery – service on demand – and explain why it alters the economics of software. As this...
Ike Nassi, Joydip Das, Ming-Chien Shan
COMPSAC
2006
IEEE
16 years 13 days ago
A Practical Approach for Automated Test Case Generation using Statecharts
This paper presents an approach for automated test case generation using a software specification modeled in Statecharts. The steps defined in such approach involve: translation o...
Valdivino A. Santiago, Ana Silvia Martins do Amara...
UML
2004
Springer
15 years 11 months ago
Specifying Cross-Cutting Requirement Concerns
Addressing non-orthogonal software concerns that arisefrom requirements can significantly contribute to the complexity of developing large systems. Difficulties arise from the need...
Geri Georg, Raghu Reddy, Robert B. France