Click on a search word OR use the drop-down choices to search for a paper.

896 entries « 18 of 18 »

0000

Safilian, Aliakbar; Maibaum, Tom; Diskin, Zinovy

The Semantics of Feature Models via Formal Languages (Extended Version) Technical Report

Citeseer 0000.

BibTeX | Tags:

Anand, Christopher; Smith, Spencer; Carette, Jacques

Minisymposium: Progress and Prospects in Model-Based Scientific Software Development Journal Article

In: AMMCS2011, pp. 293, 0000.

BibTeX | Tags:

MacLachlan, Brooks; Carette, Jacques; Smith, Spencer

GOOL: A Generic Object-Oriented Language Journal Article

In: 0000.

BibTeX | Tags:

Ziegenbein, Dirk; Besselink, Bart; Larsen, Peter Gorm; Lawford, Mark

4.7 Modularizing Control Systems Journal Article

In: Future Automotive HW/SW Platform Design, pp. 63, 0000.

BibTeX | Tags:

Kwiatkowska, Marta; Calinescu, Radu; Paige, Richard; Williams, Clare; Trivedi, Ashutosh; Walsh, Elizabeth; Ge, Xiaocheng; Kolovos, Dimitris; Polack, Fiona; Andrews, Paul; others,

ICECCS 2010 Journal Article

In: 0000.

BibTeX | Tags:

Luettgen, Gerald; Paige, Richard

Refinement Patterns for Contractual Statecharts Journal Article

In: 0000.

BibTeX | Tags:

Paige, Richard F; Brooke, Phillip J

Using PVS to Support a Real-Time Refinement Calculus (Work-in-Progress and Extended Abstract) Journal Article

In: 0000.

BibTeX | Tags:

Conmy, Philippa; Paige, Richard

YO10 5DD, UK Journal Article

In: TUM, pp. 13, 0000.

BibTeX | Tags:

Paige, Richard F; Hehner, Eric CR

Bunches of Objects Journal Article

In: 0000.

BibTeX | Tags:

Kolovos, Dimitrios S; Paige, Richard F; Polack, Fiona AC

A Unified Generative Programming Environment Journal Article

In: 0000.

BibTeX | Tags:

Pena, Joaquin; Paige, Richard F; Ruiz-Cortés, Antonio; Kolovos, Dimitrios S; Velasco, Luis

Automating the refinement of multi-agent models using an MDD approach Journal Article

In: JOURNAL OF OBJECT TECHNOLOGY, vol. 2, no. 2, 0000.

BibTeX | Tags:

Tabatabaie, Malihe; Polack, Fiona AC; Paige, Richard F

KAOS-$beta$: Analysing EIS architecture using KAOS Journal Article

In: 0000.

BibTeX | Tags:

Paige, Richard; Conmy, Philippa; Radjenovic, Alek; Wallace, Malcolm; McDermid, John

Platform Abstract Models for High-Integrity Real-Time Systems Journal Article

In: 0000.

BibTeX | Tags:

Paige, Richard F

THREE RELATED INTEGRATIONS OF PREDICATIVE PROGRAMMING AND SA/SD Journal Article

In: 0000.

BibTeX | Tags:

Han, Jun; Thu, Tran Dan; Aoki, Toshiaki; Aoyama, Mikio; Babar, Ali; Bae, Doo-Hwan; Baik, Jongmoon; Chan, WK; Cheung, SC; Choi, Ho-Jin; others,

APSEC 2010 Journal Article

In: 0000.

BibTeX | Tags:

Kolovos, Dimitrios S; Rose, Louis M; Paige, Richard F; Lara, Juan De

Ecore to GenModel Case Study Journal Article

In: Transformation Tool Contest 2010 1-2 July 2010, Malaga, Spain, pp. 149, 0000.

BibTeX | Tags:

Berry, Daniel M; Bohner, Shawn; Bowen, Jonathan; Briot, Jean-Pierre; Broy, Manfrey; Butler, Michael; Cangussu, Joao; Cheng, Albert MK; Cohen, Myra; Davies, Jim; others,

UML&AADL Program Committee Journal Article

In: 0000.

BibTeX | Tags:

Rose, Louis M; Kolovos, Dimitrios S; Paige, Richard F; Gilliam, Tara; Polack, Fiona AC

Emerging Patterns for Testing Model Management Tools Journal Article

In: Model-based Testing in Practice, pp. 107, 0000.

BibTeX | Tags:

Conmy, Philippa; Paige, Richard

YO10 5DD, UК Journal Article

In: TUM, pp. 13, 0000.

BibTeX | Tags:

Cakic, Jovan

Flexible Dynamic Binding in Agile Grid Development Journal Article

In: 0000.

BibTeX | Tags:

Brooke, Phillip J; Paige, Richard F

Extending Eiffel frames with ‘allow’ Journal Article

In: 0000.

BibTeX | Tags:

Radjenovic, Alek; Paige, Richard F

Towards a Common Modelling Platform for the Migration to the Cloud Journal Article

In: 0000.

BibTeX | Tags:

Calinescu, Radu; Paige, Richard; Kwiatkowska, Marta

Fifteenth IEEE Journal Article

In: 0000.

BibTeX | Tags:

Lüttgen, Gerald; Paige, Richard

Antrag auf Gewahrung einer Unterstutzung zum Aufbau internationaler Kooperationen Journal Article

In: 0000.

BibTeX | Tags:

Paige, Richard F; Calinescu, Radu; Kolovos, Dimitrios S; Matragkas, Nicholas; Cliff, Dave

Multimodel-Driven Software Engineering for Evolving Enterprise Systems (Position Paper) Inproceedings

In: Joint Proceedings of the Workshops On the Globalization of Modeling Languages (GEMOC 2013) and Towards the Model Driven Organization, 0000.

BibTeX | Tags:

Gibbons, Jeremy; Paige, Richard F; Schürr, Andy; Terwilliger, James F; Weber, Jens

Bi-directional transformations (bx)--Theory and Applications Across Disciplines Journal Article

In: 0000.

BibTeX | Tags:

Russey, WE; Ebel, HF; Bliefert, C

How to Write a Successful Scientific Thesis: The Concise Guide For Students Miscellaneous

0000.

BibTeX | Tags:

Paige, Richard F; Kolovos, Dimitrios S; Matragkas, Nicholas

Spreadsheets are Models Too [Position Statement] Journal Article

In: 0000.

BibTeX | Tags:

Williams, James; Matragkas, Nicholas; Kolovos, Dimitris; Korkontzelos, Ioannis; Ananiadou, Sophia; Paige, Richard

Software Analytics for MDE Communities (Position Paper) Journal Article

In: 0000.

BibTeX | Tags:

Keen, Justin; Calinescu, Radu; Paige, Richard; Rooksby, John

Big Data+ Politics= Open Data: The Case of Health Care Datasets Journal Article

In: 0000.

BibTeX | Tags:

Kolovos, Dimitrios S; Rose, Louis M; Paige, Richard F; Lara, Juan De

An Implementation of the Ecore to GenModel Case Study using the Epsilon Transformation Language Journal Article

In: 0000.

BibTeX | Tags:

Paige, Richard

ECMDA Traceability Workshop (ECMDA-TW) Journal Article

In: 0000.

BibTeX | Tags:

Gray, Jeff; Chechik, Marsha; Kulkarni, Vinay; Paige, Richard; Bagnato, Alessandra; Briand, Lionel; Broy, Manfred; Combemale, Benoit; Czarnecki, Krzysztof; Dalpiaz, Fabiano; others,

MiSE 2015 Journal Article

In: 0000.

BibTeX | Tags:

Paige, Richard; Zschaler, Steffen; Ergin, Huseyin

One data fragment has several alternative structural representations tailored toward specific data manipulation approaches. Vadim Zaytsev Journal Article

In: 0000.

BibTeX | Tags:

Apel, Sven; Benavides, David; Broy, Manfred; Duchien, Laurence; Grünbacher, Paul; Heymans, Patrick; Maman, Itay; Paige, Richard; Pohl, Klaus; Royer, Jean-Claude; others,

Workshop Organisers Journal Article

In: 0000.

BibTeX | Tags:

Bagnato, Alessandra; Barbero, Alberto Berreteaga; Rocco, Juri Di; Di, Davide; Ruscio, Dimitrios S; Korkontzelos, Ioannis; Hansen, Scott; Maló, Pedro; Mateus, Marcio; Matragkas, Nicholas; others,

OSSMETER: Automated Measurement and Analysis of Open Source Software Journal Article

In: 0000.

BibTeX | Tags:

Paige, Richard

An Introduction to PVS Metamodelling with PVS Journal Article

In: 0000.

BibTeX | Tags:

Paige, Richard F; Burton, Frank; Poulding, Simon

Modelling to Support Decision Making in Complex Environments--an Impossible Challenge? Journal Article

In: 0000.

BibTeX | Tags:

Atlee, Joanne; Baillargeon, Robert; Ruscio, Davide Di; Rumpe, Bernhard; Chechik, Marsha; Gray, Jeff; Paige, Richard; Bagnato, Alessandra; Broy, Manfred; Combemale, Benoit; others,

MiSE 2016 Journal Article

In: 0000.

BibTeX | Tags:

Cook, Jonathan; Furia, Carlo A; Aguirre, Nazareno; Baudry, Benoit; Bergel, Alexandre; Bianculli, Domenico; Bonzini, Paolo; Cai, Yuanfang; Coady, Yvonne; Crnkovic, Ivica; others,

ICSE 2016 Journal Article

In: 0000.

BibTeX | Tags:

Paige, Richard F; Woodcock, Jim; Brooke, Phillip J; Cavalcanti, Ana

Formal Methods during the Programming Phase Journal Article

In: 0000.

BibTeX | Tags:

Horkoff, Jennifer; Kokaly, Sahar; Paige, Richard; Simmonds, Jocelyn

Message from the MiSE 2018 Chairs Journal Article

In: 0000.

BibTeX | Tags:

Amyot, Daniel; Anjorin, Anthony; Atlee, Joanne M; Bagnato, Alessandra; Berger, Thorsten; Baillargeon, Robert; Bordeleau, Francis; Ruscio, Davide Di; Dingel, Juergen; Gray, Jeff; others,

MiSE 2019 Program Committee Journal Article

In: 0000.

BibTeX | Tags:

Ayesh, Mostafa; Mehan, Namya; Dhanraj, Ethan; El-Rahwan, Abdul; Opalka, Simon Emil; Fan, Tony; Hamilton, Akil; Jacob, Akshay Mathews; Sundarrajan, Rahul Anthony; Widjaja, Bryan; Menghi, Claudio

Two Simulink Models with Requirements for a Simple Controller of a Pacemaker Device Workshop

0000.

Abstract | BibTeX | Tags:

Deevy, Spender; Wassyng, Alan; Lawford, Mark; Pantelic, Vera; Paige, Richard

Sentinel: A Safety Architecture for SAE J3016 Level 5 Autonomous Vehicles Workshop

0000.

Abstract | Links | BibTeX | Tags:

Singh, Neeraj Kumar; Lawford, Mark; Maibaum, Tom; Wassyng, Alan

A formal approach to rigorous development of critical systems Journal Article

In: Journal of Software: Evolution and Process, vol. 33(4), pp. 1-27, 0000.

BibTeX | Tags:

896 entries « 18 of 18 »