Sciweavers

7206 search results - page 474 / 1442
» Using a Hypermedia System for Systems Engineering
Sort
View
FOSSACS
2011
Springer
14 years 10 months ago
Similarity Quotients as Final Coalgebras
We give a general framework connecing a branching time relation on nodes of a transition system to a final coalgebra for a suitable endofunctor. Examples of relations treated by o...
Paul Blain Levy
172
Voted
ISPW
2005
IEEE
16 years 13 days ago
A Value-Based Process for Achieving Software Dependability
Since different systems have different success-critical stakeholders, and these stakeholders depend on the system in different ways, using traditional one-size-fits-all dependabili...
LiGuo Huang
193
Voted
CSMR
2004
IEEE
15 years 10 months ago
High-Level Polymetric Views of Condensed Run-time Information
Understanding the run-time behavior of object-oriented legacy systems is a complex task due to factors such as late binding and polymorphism. Current approaches extract and use in...
Stéphane Ducasse, Michele Lanza, Roland Ber...
ICSE
2008
IEEE-ACM
16 years 7 months ago
CodeCity: 3D visualization of large-scale software
CODECITY is a language-independent interactive 3D visualization tool for the analysis of large software systems. Using a city metaphor, it depicts classes as buildings and package...
Richard Wettel, Michele Lanza
194
Voted
WCRE
2007
IEEE
16 years 1 months ago
EvoSpaces Visualization Tool: Exploring Software Architecture in 3D
The EvoSpaces reverse-engineering tool represents the architecture and metrics of complex software systems as 3D software cities. By navigating and interacting with this world, th...
Sazzadul Alam, Philippe Dugerdil