859 search results - page 64 / 172 » Explaining Synthesized Software |
IEEEARES
2009
IEEE
14 years 4 months ago
2009
IEEE
Within the field of software security we have yet to find efficient ways on how to learn from past mistakes and integrate security as a natural part of software development. Th...
EUROMICRO
2009
IEEE
14 years 4 months ago
2009
IEEE
—We have defined a software component model which specifies components and composition operators. These operators coordinate and encapsulate concurrency between components. In ...
TASE
2007
IEEE
14 years 4 months ago
2007
IEEE
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...
ICWE
2007
Springer
14 years 4 months ago
2007
Springer
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...
CEEMAS
2005
Springer
14 years 3 months ago
2005
Springer
Architectural design plays a key role in software engineering. The software architecture is the backbone of the designed solution, it has the functional requirements of the system ...