Sciweavers

3456 search results - page 257 / 692
» Byte Code Engineering
Sort
View
CSMR
2009
IEEE
15 years 10 months ago
Cognac: A Framework for Documenting and Verifying the Design of Cobol Systems
For any non-trivial software project, architectural drift is a well-known problem. Over time, the design rules and guidelines governing the software project are no longer obeyed, ...
Andy Kellens, Kris De Schutter, Theo D'Hondt, Luc ...
155
Voted
PRIMA
2009
Springer
15 years 10 months ago
Gaia Agents Implementation through Models Transformation
Gaia is a well-known Agent Oriented Software Engineering (AOSE) methodology. The emerging Model-Driven Engineering (MDE) paradigm encourages software modelers to automate the trans...
Nikolaos I. Spanoudakis, Pavlos Moraitis
131
Voted
SEKE
2009
Springer
15 years 10 months ago
Extending AOP to Support Broad Runtime Monitoring Needs
Abstract—Runtime monitoring, where some part of a program’s behavior and/or data is observed during execution, is a very useful technique that software developers to use for un...
Amjad Nusayr, Jonathan Cook
ICST
2008
IEEE
15 years 10 months ago
A JML Compiler Based on AspectJ
The Java Modeling Language (JML) is a behavioral interface specification language (BISL) designed for Java. It was developed with the aim of improving the functional software cor...
Henrique Rebêlo, Ricardo Massa Ferreira Lima...
129
Voted
WCRE
2008
IEEE
15 years 10 months ago
A Bayesian Network Based Approach for Change Coupling Prediction
Source code coupling and change history are two important data sources for change coupling analysis. The popularity of public open source projects in recent years makes both sourc...
Yu Zhou, Michael Würsch, Emanuel Giger, Haral...