AMAST
2004
Springer
13 years 11 months ago
2004
Springer
We study the semantics and refinement of mobile objects, considering an extension of core UML state machines by primitives that designate the location of objects and their moves wi...
AMAST
2004
Springer
13 years 11 months ago
2004
Springer
AMAST
2004
Springer
13 years 11 months ago
2004
Springer
AMAST
2004
Springer
13 years 11 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...
AMAST
2004
Springer
13 years 11 months ago
2004
Springer
Abstract. In this work we study the unification of heterogeneous partial specifications using category theory. We propose an alternative to inn morphisms, which we call (abstract) ...
AGILEDC
2006
IEEE
13 years 11 months ago
2006
IEEE
AGILEDC
2006
IEEE
13 years 11 months ago
2006
IEEE
XP is a lightweight process that provides principles for guiding projects and relies on the participants for its success. However, despite these guidelines, projects can be unsucc...
AGILEDC
2004
IEEE
13 years 11 months ago
2004
IEEE
Strong unit testing is the foundation of agile software development but embedded systems present special problems. Test of embedded software is bound up with test of hardware, cro...
AGILEDC
2004
IEEE
2004
IEEE
Aligning Strategic Planning with Agile Development: Extending Agile Thinking to Business Improvement
13 years 11 months ago
Many development teams have successfully used Agile Development to build quality software, but often these projects have failed to effectively contribute to overall company succes...
AGILEDC
2004
IEEE
13 years 11 months ago
2004
IEEE
This paper discusses the role of conversation and social interactions as the key element of effective knowledge sharing in an agile process. It also presents the observations made...