Sciweavers

1954 search results - page 104 / 391
» Improving Software Development Processes with Multicriteria ...
Sort
View
FOAL
2008
ACM
14 years 11 months ago
Certificate translation for specification-preserving advices
Aspect Oriented Programming (AOP) has significant potential to separate functionality and cross-cutting concerns. In particular, AOP supports an incremental development process, i...
Gilles Barthe, César Kunz
FMAM
2010
223views Formal Methods» more  FMAM 2010»
14 years 8 months ago
Agile Formality: A Mole of Software Engineering Practices
: Members of the agile programming and formal methods communities do not always see eye-to-eye. These two communities often do not talk to or learn from each other. Only recently, ...
Vieri del Bianco, Dragan Stosic, Joseph R. Kiniry
AOSE
2005
Springer
15 years 3 months ago
Aspects in Agent-Oriented Software Engineering: Lessons Learned
Several concerns in the development of multi-agent systems (MASs) cannot be represented in a modular fashion. In general, they inherently affect several system modules and cannot b...
Alessandro F. Garcia, Uirá Kulesza, Cl&aacu...
APSEC
2006
IEEE
14 years 12 months ago
Using Operational Architecture to Model Embedded Software
Almost methods in embedded software modeling take software architecture as one of the crucial parts of the design process. Since a principal role of embedded software is the inter...
Sang-Uk Jeon, Jang-Eui Hong, Doo-Hwan Bae
PROFES
2004
Springer
15 years 3 months ago
Using a Reference Application with Design Patterns to Produce Industrial Software
Abstract. System architectures are described in abstract terms, often using Design Patterns. Actual reuse based on such descriptions requires that each development project derive a...
Marek Vokác, Oluf Jensen