15779 search results - page 2404 / 3156 » Change-oriented software engineering |
150
Voted
ICESS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. The interactive digital multimedia broadcasting stands for a convergence application between digital multimedia broadcasting service and wireless internet service. It dev...
197
click to vote
ICFEM
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Refinement plays a crucial role in "top-down" styles of verification, such as the refinement calculus, but for probabilistic systems proof of refinement is a pa...
190
click to vote
AGILEDC
2004
IEEE
15 years 10 months ago
2004
IEEE
Many agile projects do not apply agile practices to their database development. Common wisdom dictates that the entire data model be carefully designed up front and protected from...
193
click to vote
AGILEDC
2004
IEEE
15 years 10 months ago
2004
IEEE
Agile development practices respect tacit knowledge, make communication more effective, and thus foster the knowledge creation process. However the current agile methods, like XP,...
177
click to vote
AMAST
2004
Springer
15 years 10 months ago
2004
Springer
Since Z, being a state-based language, describes a system in terms of its state and potential state changes, it is natural to want to describe properties of a specified system also...