15777 search results - page 747 / 3156 » The Reformulation-Optimization Software Engine |
196
click to vote
MKWI
2008
15 years 9 months ago
2008
: For the development of software requirements within a team, efficient communication and a systematic approach are necessary. Because of the complexity of the task, the need for s...
178
click to vote
SOCO
2008
Springer
15 years 7 months ago
2008
Springer
Superimposition is a composition technique that has been applied successfully in several areas of software development. In order to unify several languages and tools that rely on s...
166
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 ...
182
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...
178
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...