2700 search results - page 254 / 540 » The role of abstraction in software engineering |
141
click to vote
SIGSOFT
2005
ACM
16 years 7 months ago
2005
ACM
One of the challenges for software architects is ensuring that an implemented system faithfully represents its architecture. We describe and demonstrate a tool, called DiscoTect, ...
140
click to vote
ICSE
2003
IEEE-ACM
16 years 6 months ago
2003
IEEE-ACM
A large financial company, struggling with legacy systems that did not interoperate, performed a pilot project to teach software architecture to an enthusiastic application develo...
177
click to vote
ICSE
2007
IEEE-ACM
16 years 6 months ago
2007
IEEE-ACM
It has been widely advocated that software architecture an effective set of abstractions for engineering (families of) complex software systems. However, architectural concepts ar...
159
click to vote
COMPSAC
2006
IEEE
16 years 20 days ago
2006
IEEE
Model-checking techniques are successfully used in the verification of both hardware and software systems of industrial relevance. Unfortunately, the capability of current techni...
204
click to vote
CSMR
2002
IEEE
15 years 11 months ago
2002
IEEE
Static analysis aims at recovering the structure of a software system, while dynamic analysis focuses on its run time behaviour. We propose a technique for combining the analysis ...