649 search results - page 91 / 130 » Formalizing Rework in Software Processes |
119
click to vote
COMPSAC
2008
IEEE
15 years 8 months ago
2008
IEEE
We discuss the suitability of service-oriented computing for the automotive domain. We present a formal high-level language in which complex automotive activities can be modelled ...
109
click to vote
APSEC
2004
IEEE
15 years 6 months ago
2004
IEEE
Existing ADLs (Architecture Description Languages) have an advantage of formally specifying the architecture of component-based systems. But ADLs have not come into extensive use ...
156
click to vote
ICFEM
2010
Springer
15 years 26 days ago
2010
Springer
Abstract. Today’s software systems are becoming increasingly configurable and designed for deployment on a plethora of architectures, ranging from sequential machines via multic...
119
click to vote
UML
2005
Springer
15 years 7 months ago
2005
Springer
Use cases are a popular method for capturing and structuring software requirements. The informality of use cases is both a blessing and a curse. It enables easy application and lea...
118
click to vote
ATAL
2003
Springer
15 years 7 months ago
2003
Springer
A key question in the field of agent-oriented software engineering is how the kind and extent of autonomy owned by computational agents can be appropriately captured. As long as ...