DiaSuite: A tool suite to develop Sense/Compute/Control applications
B Bertran, J Bruneau, D Cassou, N Loriant… - Science of Computer …, 2014 - Elsevier
We present DiaSuite, a tool suite that uses a software design approach to drive the
development process. DiaSuite focuses on a specific domain, namely Sense/Compute …
development process. DiaSuite focuses on a specific domain, namely Sense/Compute …
The tools perspective on software reverse engineering: requirements, construction, and evaluation
Software reverse engineering is a subdiscipline of software engineering, striving to provide
support for the comprehension of software systems by creating suitable representations of …
support for the comprehension of software systems by creating suitable representations of …
[HTML][HTML] Usage contracts: Offering immediate feedback on violations of structural source-code regularities
Developers often encode design knowledge through structural regularities such as API
usage protocols, coding idioms and naming conventions. As these regularities express how …
usage protocols, coding idioms and naming conventions. As these regularities express how …
Code quality cultivation
D Speicher - … and Knowledge Management: Third International Joint …, 2013 - Springer
Two of the meanings of the word “cultivation” that are rather unrelated show a strong
dependency, when applied to the domain of code quality: The existing code in an evolving …
dependency, when applied to the domain of code quality: The existing code in an evolving …
System-specific static code analyses: a case study in the complex embedded systems domain
In this paper, we are exploring the approach to utilize system-specific static analyses of code
with the goal to improve software quality for specific software systems. Specialized analyses …
with the goal to improve software quality for specific software systems. Specialized analyses …
Diagnosing and correcting design inconsistencies in source code with logical abduction
Correcting design decay in source code is not a trivial task. Diagnosing and subsequently
correcting inconsistencies between a software system's code and its design rules (eg …
correcting inconsistencies between a software system's code and its design rules (eg …
Automated architectural reviews with semmle
K De Schutter - 2012 28th IEEE International Conference on …, 2012 - ieeexplore.ieee.org
Keeping code at a high level of quality and in sync with the defined architecture is not a
trivial matter when you are participating in a competitive market in which you would rather …
trivial matter when you are participating in a competitive market in which you would rather …
AspectJ code analysis and verification with GASR
Aspect-oriented programming languages extend existing languages with new features for
supporting modularization of crosscutting concerns. These features however make existing …
supporting modularization of crosscutting concerns. These features however make existing …
Academic software development tools and techniques: Report on the 1st workshop WASDeTT at ECOOP 2008
The objective of the 1st International Workshop on Advanced Software Development Tools
and Techniques (WASDeTT-1) was to provide interested researchers with a forum to share …
and Techniques (WASDeTT-1) was to provide interested researchers with a forum to share …
A convex decomposition methodology for collision detection
A Chowriappa, R Wirz… - 2013 IEEE Virtual …, 2013 - ieeexplore.ieee.org
In this paper, a shape decomposition methodology to decompose the cervical spine using
an approximate convex methodology is proposed. The proposed methodology identifies the …
an approximate convex methodology is proposed. The proposed methodology identifies the …