1481 search results - page 218 / 297 » Enriching the Software Development Process by Formal Methods |
147
click to vote
ICEBE
2007
IEEE
15 years 10 months ago
2007
IEEE
In the development process of a B2B system it is crucial that the business experts are able to express and evaluate agreements and commitments between the partners and that the so...
141
click to vote
SSR
2001
15 years 5 months ago
2001
As wide-area open networks like the Internet and intranets grow larger, mobile agent technology is attracting more attention. Mobile agents are units of software that can deal wit...
118
click to vote
FOAL
2008
ACM
15 years 5 months ago
2008
ACM
Aspect Oriented Programming (AOP) has significant potential to separate functionality and cross-cutting concerns. In particular, AOP supports an incremental development process, i...
159
click to vote
KBSE
1995
IEEE
15 years 7 months ago
1995
IEEE
Cost-effective engineering and evolution of complex software must involve the different stakeholders concurrently and collaboratively. The hard problem is providing computer suppo...
140
click to vote
JUCS
2008
15 years 4 months ago
2008
: Currently, many models are used to capture functional software requirements. However, the Software Engineering community has faded interaction requirements into the background, d...