15860 search results - page 629 / 3172 » On agent-based software engineering |
199
click to vote
ICSE
2000
IEEE-ACM
15 years 11 months ago
2000
IEEE-ACM
Software's increasing role creates both requirements for being able to trust it more than before, and for more people to know how much they can trust their software. A sound ...
251
Voted
ICSE
1995
IEEE-ACM
15 years 10 months ago
1995
IEEE-ACM
A major problem in requirements engineering is obtaining requirements that address the concerns of multiple stakeholders. An approach to such a problem is the Theory-W based Spira...
198
click to vote
SIGSOFT
2008
ACM
16 years 8 months ago
2008
ACM
Getting the right software requirements under the right environment assumptions is a critical precondition for developing the right software. This task is intrinsically difficult....
194
Voted
AOSD
2012
ACM
14 years 3 months ago
2012
ACM
In this work we consider specification and compositional verification for interference detection when several aspects are woven together under joint-weaving semantics without re...