1537 search results - page 210 / 308 » Domain-Specific Software Component Models |
137
click to vote
PDCAT
2005
Springer
15 years 10 months ago
2005
Springer
Grid and service computing technologies have been explored by enterprises to promote integration, sharing, and collaboration. However, quick response to business environment chang...
137
click to vote
IFM
1999
Springer
15 years 8 months ago
1999
Springer
SOFL (Structured-Object-based-Formal Language) is recently proposed to combine the advantagesof formal methods, structured methods and object-oriented methodology into one method ...
110
click to vote
INFSOF
2006
15 years 4 months ago
2006
Contemporary embedded systems quite often employ extremely complicated software consisting of a number of interrelated components, and this has made object-oriented design methodo...
133
click to vote
SBMF
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. This paper presents a case study on retrospective veri cation of the Linux Virtual File System (VFS), which is aimed at checking for violations of API usage rules and mem...
136
click to vote
EUROMICRO
1998
IEEE
15 years 8 months ago
1998
IEEE
The continuing explosive growth of the web has not been matched by an adequate enhancement of the infrastructure on which it depends. Both consumers and producers are often left f...