Sciweavers

2853 search results - page 227 / 571
» A platform for software engineering research
Sort
View
TASE
2007
IEEE
15 years 10 months 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...
WCRE
2000
IEEE
15 years 9 months ago
A Reference Architecture for Web Servers
A reference software architecture for a domain defines the fundamental components of the domain and the relations between them. Research has shown the benefits of having a referen...
Ahmed E. Hassan, Richard C. Holt
SIGSOFT
1998
ACM
15 years 8 months ago
On-Line Change Mechanisms
Our interest in the eld of software architecture is focused on the application in technical systems, such as control systems. Our current research in this eld is centered around a...
Sylvia Stuurman, Jan van Katwijk
144
Voted
ICSE
1989
IEEE-ACM
15 years 8 months ago
The Inscape Environment
The Inscape Environment is an integrated software development enviroment for building large software systems by large groups of developers. It provides tools that are knowledgeabl...
Dewayne E. Perry
ENGL
2008
94views more  ENGL 2008»
15 years 4 months ago
Prototyping, Domain Specific Language, and Testing
Prototyping is a technique widely used in many engineering fields. However, in software engineering, its usage is limited to requirement elicitation. Little research has been done ...
Liguo Yu