2700 search results - page 89 / 540 » The role of abstraction in software engineering |
187
click to vote
PRIMA
2009
Springer
16 years 25 days ago
2009
Springer
Gaia is a well-known Agent Oriented Software Engineering (AOSE) methodology. The emerging Model-Driven Engineering (MDE) paradigm encourages software modelers to automate the trans...
148
click to vote
PASTE
2005
ACM
15 years 12 months ago
2005
ACM
Today, many formal analysis tools are not only used to provide certainty but are also used to debug software systems – a role that has traditional been reserved for testing tool...
159
click to vote
CBSE
2006
Springer
15 years 8 months ago
2006
Springer
Non-functional specifications of software components are considered an important asset in constructing dependable systems, since they enable early Quality of Service (QoS) evaluati...
147
click to vote
AC
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. These notes form the basis of four lectures given at the Summer School on Generic Programming, Oxford, UK, which took place dur
162
click to vote
AC
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. A tension in language design has been between simple semantics on the one hand, and rich possibilities for side-effects, exception