Searching for authors named "Spiros Mancoridis" – sorted by Relevance.
-
Toward a Generic Framework for Computing Subsystem Interfaces
- One aspect of reverse engineering deals with the recovery of high-level design information from source code. In this process, source code analysis is used to extract the components and dependencies that comprise a software system. Clustering algorithms are then used to group related software compone
- Add To MetaCart
-
ISF: A Visual Formalism for Specifying Interconnection Styles for Software Design
- We have developed a framework for specifying high-level software designs. The core of the framework is a very simple visual notation. This notation enables designers to document designs as labelled rectangles and directed edges. In addition to the notation, our framework features a supporting formal
- Cited by 5 (2 self) – Add To MetaCart
-
Customizable Notations for Software Design
- ISF is a visual formalism for creating custom notations for high-level software design. In this paper we describe the formal semantics of ISF in Datalog. The semantics provides useful insight on how deductive database technology can be used to generate tools to support our custom notations. 1 Introd
- Cited by 1 (1 self) – Add To MetaCart
-
Towards Employing Use-Cases and Dynamic Analysis to Comprehend Mozilla
- The following item is made available as a courtesy to scholars by the author(s) and Drexel University Library and may contain materials and content, including computer code and tags, artwork, text, graphics, images, and illustrations (Material) which may be protected by copyright law. Unless otherwi
- Cited by 4 (3 self) – Add To MetaCart
-
A hierarchy of dynamic software views: From object-interactions to featureinteractions
- This paper presents a hierarchy of dynamic views that is constructed using tools that analyze program execution traces. At the highest-level of abstraction are the featureinteraction and implementation views, which track the interfeature dependencies as well as the classes that implement these featu
- Cited by 11 (1 self) – Add To MetaCart
-
Toward an environment for comprehending distributed systems
- Many modern software systems are often large, distributed, written in more than one programming language, and developed using pre-built components. This paper presents the results of the first phase of a project to develop an environment that supports the comprehension of distributed systems. The en
- Cited by 5 (1 self) – Add To MetaCart
-
Using Program Transformation to Secure C Programs Against Buffer Overflows
- Buffer overflows are the most common source of security vulnerabilities in C programs. This class of vulnerability, which is found in both legacy and modern software, costs the software industry hundreds of millions of dollars per year. The most common type of buffer overflow is the runtime stack ov
- Cited by 6 (0 self) – Add To MetaCart
-
Using code metric histograms and genetic algorithms to perform author identification for software forensics
- We have developed a technique to characterize software developers’ styles using a set of source code metrics. This style fingerprint can be used to identify the likely author of a piece of code from a pool of candidates. Author identification has applications in criminal justice, corporate litigatio
- Cited by 1 (1 self) – Add To MetaCart
-
Using Tube Graphs to Model Architectural Designs of Software Systems
- A tube graph is a mathematical entity that can be used for modelling architectural designs of software systems. It consists of a tree (representing containment) with a set of edges called tubes (representing dependencies) between the tree's vertices (representing components). Tubes, for example, can
- Cited by 6 (5 self) – Add To MetaCart
-
On the Automatic Recovery of Style-Specific Architectural Relations in Software Systems
- The cost of maintaining a software system over a long period of time far exceeds its initial development cost. Much of the maintenance cost is attributed to the time required by new developers to understand legacy systems. High-level structural information helps maintainers navigate through the nume
- Cited by 1 (0 self) – Add To MetaCart

