377 search results - page 72 / 76 » Towards Alternative Approaches to Reasoning About Goals |
BMCBI
2007
13 years 10 months ago
2007
Background: Identifying relevant research in an ever-growing body of published literature is becoming increasingly difficult. Establishing domain-specific knowledge bases may be a...
ICSE
2008
IEEE-ACM
14 years 11 months ago
2008
IEEE-ACM
Program specifications are important in many phases of the software development process, but they are often omitted or incomplete. An important class of specifications takes the f...
CASCON
2006
13 years 11 months ago
2006
Coupling measures have important applications in software development and maintenance. They are used to reason about the structural complexity of software and have been shown to p...
COLING
2000
13 years 11 months ago
2000
We propose a treatment of `extraposition' which allows items to be assimilated directly even when they appear far from their canonical positions. This treatment supports anal...
SIGSOFT
2007
ACM
14 years 11 months ago
2007
ACM
Finding flaws in security protocol implementations is hard. Finding flaws in the implementations of sensor network security protocols is even harder because they are designed to p...