1782 search results - page 328 / 357 » Tool Support for Proof Engineering |
CSCW
2008
ACM
13 years 10 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 ...
ER
2008
Springer
13 years 10 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)...
IE
2007
13 years 10 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...
DGO
2010
13 years 10 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...
ECMDAFA
2008
Springer
13 years 9 months 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...