1782 search results - page 328 / 357 » Tool Support for Proof Engineering |
CSCW
2008
ACM
15 years 1 months ago
2008
ACM
Coordinating goals, schedules, and tasks among collaborators is difficult, and made even more so when there are disciplinary, geographic and institutional boundaries that must be ...
113
click to vote
ER
2008
Springer
15 years 1 months ago
2008
Springer
Due to a turbulent market enterprises should be able to adapt their business processes in a quick and flexible way. This requires adaptive process-aware information systems (PAISs)...
112
click to vote
IE
2007
15 years 1 months ago
2007
How can we help people design well-formed and innovative games? The design Patterns of Christopher Alexander is one methodology that has been proposed to assist in the design of w...
114
click to vote
DGO
2010
15 years 1 months ago
2010
An applied research for the incremental evolution of a service oriented architecture for local eGovernment portals has been developed. Our reference eGovernment environment, curre...
103
click to vote
ECMDAFA
2008
Springer
15 years 26 days ago
2008
Springer
In requirements engineering, there are several approaches for requirements modeling such as goal-oriented, aspect-driven, and system requirements modeling. In practice, companies o...