Sciweavers

179 search results - page 27 / 36
» UML for Agent-Oriented Software Development: The Tropos Prop...
Sort
View
ICSE
2008
IEEE-ACM
15 years 10 months ago
Detecting model inconsistency through operation-based model construction
Nowadays, large-scale industrial software systems may involve hundreds of developers working on hundreds of different but related models representing parts of the same system spec...
Xavier Blanc, Isabelle Mounier, Alix Mougenot, Tom...
UML
2005
Springer
15 years 3 months ago
Towards a Generic Aspect Oriented Design Process
Aspect oriented design (AOD) research is fragmented. Barriers to AOD adoption are, in part, due to the fragmented nature of AOD research. Individually, many approaches provide ele...
Andrew Jackson, Siobhán Clarke
95
Voted
AOSD
2009
ACM
15 years 4 months ago
Modelling hardware verification concerns specified in the e language: an experience report
e is an aspect-oriented hardware verification language that is widely used to verify the design of electronic circuits through the development and execution of testbenches. In rec...
Darren Galpin, Cormac Driver, Siobhán Clark...
75
Voted
SEKE
2007
Springer
15 years 3 months ago
A Model-driven Approach to Architecting Secure Software
A software architecture provides a high-level description of a software solution in terms of the structure, topology, and interactions between its principal components. While a nu...
Ebenezer A. Oladimeji, Sam Supakkul, Lawrence Chun...
106
Voted
WICSA
2004
14 years 11 months ago
Compositional Generation of Software Architecture Performance QN Models
Early performance analysis based on Queueing Network Models (QNM) has been often proposed to support software designers during the software development process. These approaches a...
Antinisca Di Marco, Paola Inverardi