Sciweavers

36 search results - page 6 / 8
» 4th International Workshop on Adoption-Centric Software Engi...
Sort
View
UML
2004
Springer
13 years 10 months ago
5th International Workshop on Aspect-Oriented Modeling
This report summarizes the outcome of the 5th Workshop on AspectOriented Modeling (AOM) held in conjunction with the 7th International Conference on the Unified Modeling Language â...
Dominik Stein, Jörg Kienzle, Mohamed Kand&eac...
ICSE
2008
IEEE-ACM
14 years 4 months ago
3rd international workshop on advances and applications of problem frames
Central to the problem frames approach is the distinction of three different descriptions: requirements R, domain assumptions W and specifications S, tied together with the socall...
Thein Than Tun, Jon G. Hall, Lucia Rapanotti, Karl...
ICSE
2003
IEEE-ACM
14 years 4 months ago
Software Engineering for Large-Scale Multi-Agent Systems - SELMAS'2003
This paper is intended to sum up the results of the Second International Workshop on Software Engineering for Large-Scale Multi-Agent Systems (SELMAS'03) held in Portland, Or...
Carlos José Pereira de Lucena, José ...
FMAM
2010
223views Formal Methods» more  FMAM 2010»
13 years 2 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
STTT
2002
69views more  STTT 2002»
13 years 4 months ago
Program model checking as a new trend
This paper introduces a special section of the STTT journal containing a selection of papers that were presented at the 7th International SPIN workshop, Stanford, August 30 - Septe...
Klaus Havelund, Willem Visser