1601 search results - page 77 / 321 » The affordable application of formal methods to software eng... |
RIVF
2007
13 years 10 months ago
2007
— Semantic Web research and recent efforts of large software companies have lead to mature technologies that can enable real-life semantic applications. While benefits such as a...
ICSE
2011
IEEE-ACM
13 years 16 days ago
2011
IEEE-ACM
Highly interactive web applications that offer user experience and responsiveness of desktop applications are becoming increasingly popular. They are often composed out of visual...
ICSE
2004
IEEE-ACM
14 years 9 months ago
2004
IEEE-ACM
Connectors and connector wrappers explicitly specify the protocol of interaction among components and afford the reusable application of extra-functional behaviors, such as reliabi...
SIGSOFT
2003
ACM
14 years 2 months ago
2003
ACM
Model checking and other finite-state analysis techniques have been very successful when used with hardware systems and less successful with software systems. It is especially di...
ECSA
2010
Springer
13 years 10 months ago
2010
Springer
One of the major advantages of component-based software engineering is the ability for developers to reuse and assemble software entities to build complex software. Whereas decompo...