Publications | Lero

Menu

Publications

Export 143 results:

Sort by: [ Author

] Title Type Year

Filters: First Letter Of Last Name is B [Clear All Filters]

A [B] C D E F G H I J K L M N O P Q R S T U V W X Y Z [Show ALL]

B

Bergel A, Ducass S, Nierstrasz O, Wuyts R. 2008. Stateful traits and their formalisation. Computer Languages, Systems and Structures. 34(2-3):pp83-108.

Bhandal C, Bouroche M, Hughes A. 2011. An Abstract Model of a Coordination Protocol Using the UPPAAL Model Checker. Embedded and Ubiquitous Computing (EUC), 2011 IFIP 9th International Conference on.

Bhandal C, Bouroche M, Hughes A. 2011. A process algebraic description of a temporal wireless network protocol. Proceedings of the Fourth International Workshop on Formal Methods for Interactive Systems (FMIS 2011) .

Bhattacherjee A, Fitzgerald B. 2012. Shaping the Future of ICT Research: Methods and Approaches. IFIP WG 8.2 Working Conference.

Biffl S, Babar MA, Winkler D. 2008. Impact of Experience and Team Size on the Quality of Scenarios for Architecture Evaluation. 12th International Conference on Evaluation and Assessment in Software Engineering (EASE08).

Biggar P, deVries E, Gregg D. 2012. A practical solution for achieving language compatibility in scripting language compilers. Science of Computer Programming. 77(9):pp971-989.

Black S, Boca PP, Bowen JP, Gorman J, Hinchey M. 2009. Formal Versus Agile: Survival of the Fittest. IEEE Computer. 42(9):pp37-45.

Blowers R, Richardson I. 2005. The Capability Maturity Model (SW and Integrated) Tailored in Small Indigenous Software Industries. International Research Workshop for Process Improvement in Small Settings.

Böckle G, Knauber P, Pohl K, Schmid(H)K. 2004. Software-Produktlinien – Methoden, Einführung und Praxis Dpunkt.

Bonfe M, Boriero F, Dodi R, Fiorini P, Morandi A, Muradore R, Pasquale L, Sanna A, Secchi C. 2012. Towards Automated Surgical Robotics: A Requirements Engineering Approach. Proceedings of the 4th International Conference on Biomedical Robotics and Biomechatronics.

Bordeaux L, Janota M, Marques-Silva J, Marquis P. 2012. On Unit-Refutation Complete Formulae with Existentially Quantified Variables. 13th International Conference on Principles of Knowledge Representation and Reasoning (KR 2012).

Bordeaux L, Marques-Silva J. 2012. Knowledge Compilation with Empowerment. 38th International Conference on Current Trends in Theory and Practice of Computer Science. :pp612-624.

Borges R, Garcez AD'avila, Lamb L, Nuseibeh B. 2011. Learning to Adapt Requirements Specifications of Evolving Systems. ICSE 2011: New Ideas and Emerging Results Track.

Bošković M, Gašević D, Pahl C, Schätz B. 2009. International Workshop on Non-Functional System Properties in Domain Specific Modeling Languages NFP in DSML. MODELS Workshop and Symposia Post Proceedings. LNCS Series

Bošković M, Gašević D, Pahl C, Schätz B. 2008. International Workshop on Non-Functional System Properties in Domain Specific Modeling Languages NFP in DSML. MODELS Conference.

Botterweck G, Thiel S, Nestor D, Abid SB, Cawley C. 2008. Visual Tool Support for Configuring and Understanding Software Product Lines. 12th International Software Product Line Conference (SPLC 2008).

Botterweck G. 2006. A Model-Driven Approach to the Engineering of Multiple User Interfaces. Workshop at the ACM/IEEE 9th Conference on Model Driven Engineering Languages and Systems MoDELS / UML 2006.

Botterweck G, Nestor D, Preußner A, Cawley C, Thiel S. 2007. Towards Supporting Feature Configuration by Interactive Visualisation. Proceedings of 1st International Workshop on Visualisation in Software Product Line Engineering (ViSPLE 2007) collocated with the 11th International Software Product Line Conference (SPLC 2007).

Botterweck G, Polzer A, Kowalewski S. 2009. Interactive Configuration of Embedded Systems Product Lines. International Workshop on Model-driven Approaches in Product Line Engineering (MAPLE 2009).

Botterweck G, Polzer A, Kowalewski S. 2010. Variability and Evolution in Model-based Engineering of Embedded Systems. Dagstuhl Workshop Model-Based Development of Embedded Systems (MBEES 2010).

Botterweck G, Pleuss A. 2012. S2T2-Configurator: Interactive Support for Configuration of Large Feature Models. 8th European Conference on Modelling Foundations and Applications (ECMFA 2012) Tools Track.

Botterweck G, Pleuss A, Polzer A, Kowalewski S. 2009. Towards feature-driven planning of product-line evolution. Proceedings of the First International Workshop on Feature-Oriented Software Development.

Botterweck G, Thiel S, Cawley C, Nestor D, Preußner A. 2008. Visual Configuration in Automotive Software Product Lines,. Proceedings of 2nd IEEE International Workshop on Software Engineering Challenges in the Automotive Domain (SECAD 2008). :pp1070-1075.

Botterweck G, Pleuss A, Dhungana D, Polzer A, Kowalewski S. 2010. EvoFM: feature-driven planning of product-line evolution. Proceedings of the 2010 ICSE Workshop on Product Line Approaches in Software Engineering.

Botterweck G, O'Brien L, Thiel S. 2007. Model-Driven Derivation of Product Architectures. 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007).