The evolution of modeling research challenges Robert FranceBernhard Rumpe Editorial 14 May 2013 Pages: 223 - 225
Guest editorial to the special section on SEFM 2009 Padmanabhan KrishnanDang Van HungAntonio Cerone Guest Editorial 03 March 2012 Pages: 227 - 228
Event-B patterns and their tool support Thai Son HoangAndreas FürstJean-Raymond Abrial Special Section Paper 04 January 2011 Pages: 229 - 244
Metric propositional neighborhood logics on natural numbers Davide BresolinDario Della MonicaGuido Sciavicco Special Section Paper 26 February 2011 Pages: 245 - 264
Behavioral specification of reactive systems using stream-based I/O tables Judith ThyssenBenjamin Hummel Special Section Paper 31 May 2011 Pages: 265 - 283
Relational interprocedural verification of concurrent programs Bertrand Jeannet Special Section Paper 10 March 2012 Pages: 285 - 306
Towards clone detection in UML domain models Harald Störrle Special Section Paper 08 October 2011 Pages: 307 - 329
Least privilege analysis in software architectures Koen BuyensRiccardo ScandariatoWouter Joosen Special Section Paper 09 November 2011 Pages: 331 - 348
A model for dynamic reconfiguration in service-oriented architectures José Luiz FiadeiroAntónia Lopes Special Section Paper 19 February 2012 Pages: 349 - 367
Modeling customer-centric value of system architecture investments Ana IvanovićPierre AmericaChris Snijders Special Section Paper 29 February 2012 Pages: 369 - 385
A modular timed graph transformation language for simulation-based design Eugene SyrianiHans Vangheluwe Regular Paper 07 June 2011 Pages: 387 - 414
Specification of invariability in OCL Piotr Kosiuczenko Regular Paper Open access 05 October 2011 Pages: 415 - 434
Building European software architecture community: how far have we come? Muhammad Ali BabarIan GortonFlavio Oquendo Editorial 17 April 2013 Pages: 435 - 438
