8627 search results - page 1380 / 1726 » Software Engineering Using RATionale |
157
Voted
FSTTCS
2007
Springer
16 years 1 months ago
2007
Springer
Entanglement is a complexity measure of directed graphs that origins in fixed point theory. This measure has shown its use in designing efficient algorithms to verify logical prop...
173
click to vote
LPNMR
2007
Springer
16 years 29 days ago
2007
Springer
Practically all programming languages used in software engineering allow to split a program into several modules. For fully declarative and nonmonotonic logic programming languages...
146
click to vote
OOPSLA
2007
Springer
16 years 29 days ago
2007
Springer
Unit testing frameworks like JUnit are a popular and effective way to prevent developer bugs. We are investigating two ways of building on these frameworks to prevent more bugs wi...
190
click to vote
SEKE
2007
Springer
16 years 29 days ago
2007
Springer
Agent based online auctions have not yet become popular because they are not trustable. One of the major concerns in agent based online auctions is the shilling behavior problem, w...
176
click to vote
SEKE
2007
Springer
16 years 29 days ago
2007
Springer
Design patterns describe good solutions to common and recurring problems. The applications of design patterns may vary in different layouts, which pose challenges for recovering a...