1508 search results - page 79 / 302 » Toward Software Plug-and-Play |
136
Voted
VSTTE
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Theorem-prover based modular checkers have the potential to perform scalable and precise checking of user-defined properties by combining pathsensitive intraprocedural re...
98
Voted
ICSE
2003
IEEE-ACM
16 years 3 months ago
2003
IEEE-ACM
Software components, if usedproperly, ofj~r many software engineering benefits. Yet, they also pose many original challenges starting fi'om quality assurance and ranging to a...
124
Voted
SAC
2009
ACM
15 years 10 months ago
2009
ACM
It has been reported that many software companies do not use existing requirements engineering approaches. This indicates that there is room and opportunity for improving the usab...
137
click to vote
COMPSAC
2009
IEEE
15 years 10 months ago
2009
IEEE
To-date, security analysis techniques focus on the explicit access to data, thereby neglecting information flows happening over covert channels. As a result, critical business so...
153
Voted
PRIMA
2009
Springer
15 years 10 months ago
2009
Springer
Gaia is a well-known Agent Oriented Software Engineering (AOSE) methodology. The emerging Model-Driven Engineering (MDE) paradigm encourages software modelers to automate the trans...