15784 search results - page 792 / 3157 » Mega Software Engineering |
168
click to vote
ICSR
2009
Springer
15 years 5 months ago
2009
Springer
Anecdotal experience constructing proofs of correctness of code built from reusable software components reveals that they tend to be relatively trivial bookkeeping exercises: they ...
183
click to vote
ICSE
2005
IEEE-ACM
16 years 7 months ago
2005
IEEE-ACM
We demonstrate a tool to incrementally synchronize an Acme architectural model described in the Acme Architectural Description Language (ADL) with an implementation in ArchJava, a...
180
click to vote
ICSM
2009
IEEE
16 years 2 months ago
2009
IEEE
Method stereotype distribution is used as a signature for software systems. The stereotype for each method is determined using a presented taxonomy. The counts of the different st...
206
click to vote
CBSE
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. In current software components models, components do not encapsulate control, and are composed by connection mechanisms which pass control from component to component. Co...
173
click to vote
AGILEDC
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper describes the start of the implementation of Scrum within BMC Software (Identity Management business unit). It describes the project, the project structure and the firs...