Sciweavers

3763 search results - page 393 / 753
» Component-Based Software Engineering Processes
Sort
View
FASE
1999
Springer
15 years 11 months ago
JTN: A Java-Targeted Graphic Formal Notation for Reactive and Concurrent Systems
JTN is a formal graphic notation for Java-targeted design speci cations, that are speci cations of systems that will be implemented using Java. JTN is aimed to be a part of a more ...
Eva Coscia, Gianna Reggio
COMPSAC
2004
IEEE
15 years 10 months ago
Implementing Hierarchical Features in a Graphically Based Formal Modelling Language
Many developers who could benefit from building and analysing formal models of their systems are deterred from doing so by the process algebra style input languages of formal mode...
Peter Henderson, Robert John Walters, Stephen Crou...
ESEM
2008
ACM
15 years 8 months ago
Problems in agile trenches
Some agile voices have been raised against extensive documentation. They advocate its sparse use and production. In this paper, we report from agile evolution and maintenance tren...
Mira Kajko-Mattsson
QSIC
2009
IEEE
16 years 1 months ago
A Bayesian Approach for the Detection of Code and Design Smells
The presence of code and design smells can have a severe impact on the quality of a program. Consequently, their detection and correction have drawn the attention of both research...
Foutse Khomh, Stéphane Vaucher, Yann-Ga&eum...
CSSE
2008
IEEE
16 years 1 months ago
A Study of E-learning Architecture Based on Knowledge Innovation
—This paper reveals weaknesses of existing e-learning system and puts forward a novel architecture of five layers from the perspective of knowledge innovation. Learner interface ...
Qinglong Zhan, Chengyang Chang