20655 search results - page 79 / 4131 » Exploring Software Systems |
122
click to vote
JAPLL
2006
15 years 2 months ago
2006
For twenty years the Nuprl ("new pearl") system has been used to develop software systems and formal theories of computational mathematics. It has also been used to expl...
140
click to vote
AADEBUG
2005
Springer
15 years 8 months ago
2005
Springer
One of today’s challenges is producing reliable software in the face of an increasing number of interacting components. Our system CHET lets developers define specifications des...
114
click to vote
VISSOFT
2005
IEEE
15 years 8 months ago
2005
IEEE
We present MetricView, a software visualization and exploration tool that combines traditional UML diagram visualization with metric visualization in an effective way. MetricView ...
225
click to vote
Publication
Ever wondered why open source finally yields products that work? Eric Raymod discusses that in this paper using the bazaar as a metaphor for open source hacker developed software t...
120
Voted
SOCO
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. The separation of concerns is a fundamental principle in software engineering. Crosscutting concerns are concerns that do not align with hierarchical and block decomposit...