1782 search results - page 146 / 357 » Tool Support for Proof Engineering |
158
click to vote
COMPSAC
2008
IEEE
16 years 28 days ago
2008
IEEE
Architecture-based software development is the implementation of a software system in terms of its architectural constructs (e.g., components, connectors, ports). It has been show...
173
click to vote
WETICE
2005
IEEE
16 years 23 hour ago
2005
IEEE
In distributed software engineering, the role of informal communication is frequently overlooked. Participants simply employ their own ad-hoc methods of informal communication. Co...
161
click to vote
WWW
2003
ACM
16 years 7 months ago
2003
ACM
Team members usually cooperate on a business process by partitioning it into several activities, which in turn generate one or more work items. Work items either need to be proces...
185
click to vote
ISSTA
2006
ACM
16 years 12 days ago
2006
ACM
This paper addresses issues involved when an architect explore alternative designs including non-functional requirements; in our approach, non-functional requirements are expresse...
135
click to vote
WSC
2004
15 years 7 months ago
2004
Recursive simulation is the technique of having simulated decisionmakers themselves use simulation to inform their decisionmaking. Issues of efficiency require that the recursive ...