Sciweavers

467 search results - page 25 / 94
» WebMetrics: A Tool for Improving Software Development
Sort
View
ICSE
2000
IEEE-ACM
15 years 1 months ago
Component design of retargetable program analysis tools that reuse intermediate representations
Interactive program analysis tools are often tailored to one particular representation of programs, making adaptation to a new language costly. One way to ease adaptability is to ...
James Hayes, William G. Griswold, Stuart Moskovics
ASWEC
2001
IEEE
15 years 1 months ago
Visualisation of Refinements
Animation tools haveproven to be effective asa means of visualising formal specijcations. Specijcations that might otherwise be impenetrable can be communicated to a wide range of...
Neil J. Robinson, Colin J. Fidge
SPLC
2008
14 years 11 months ago
Functional Testing of Feature Model Analysis Tools. A First Step
The automated analysis of Feature Models (FMs) focuses on the usage of different logic paradigms and solvers to implement a number of analysis operations on FMs. The implementatio...
Sergio Segura, David Benavides, Antonio Ruiz Cort&...
84
Voted
PPPJ
2003
ACM
15 years 2 months ago
A stochastic approach to automated design improvement
The object-oriented approach to software development facilitates and encourages programming practices that increase reusability, correctness and maintainability in code. This is a...
Mark Kent O'Keeffe, Mel Ó Cinnéide
78
Voted
UML
2005
Springer
15 years 3 months ago
Tool Support for OCL and Related Formalisms - Needs and Trends
The recent trend in software engineering to model-centered methodologies is an excellent opportunity for OCL to become a widely used specification language. If the focus of the de...
Thomas Baar, Dan Chiorean, Alexandre L. Correa, Ma...