|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1493 occurrences of 1128 keywords
|
|
|
Results
Found 1483 publication records. Showing 1483 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
84 | Mogens Nielsen, Klaus Havelund, Kim Ritter Wagner, Chris George |
The RAISE Language, Method and Tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VDM Europe ![In: VDM '88, VDM - The Way Ahead, 2nd VDM-Europe Symposium, Dublin, Ireland, September 11-16, 1988, Proceedings, pp. 376-405, 1988, Springer, 3-540-50214-9. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
59 | Mohammad Reza Nami, Mohsen Sharifi, Abbas Malekpour |
A Preliminary Formal Specification of Virtual Organization Creation with RAISE Specification Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SERA ![In: 5th ACIS International Conference on Software Engineering Research, Management & Applications (SERA 2007), August 20-22, 2007, Haeundae Grand Hotel, Busan, Korea, pp. 227-232, 2007, IEEE Computer Society, 0-7695-2867-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
RAISE Method, Software Engineering, Formal Methods, Virtual Organization, Collaborative Networks |
52 | Abigail Parisaca Vargas, Ana Gabriela Garis, Silvia Lizeth Tapia Tarifa, Chris George |
Model Checking LTL Formulae in RAISE with FDR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods, 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings, pp. 231-245, 2009, Springer, 978-3-642-00254-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
model checking, formal methods, refinement, tools, CSP, LTL, FDR, RAISE, RSL |
52 | Chris George, Anne E. Haxthausen |
Specification, proof, and model checking of the Mondex electronic purse using RAISE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 20(1), pp. 101-116, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Verification, Formal methods, PVS, SAL, RAISE, Mondex |
52 | Mohammad Reza Nami, Mehdi Sagheb-Tehrani, Mohsen Sharifi |
Applying domain engineering using RAISE into a particular banking domain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 32(2), pp. 1-6, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
software engineering, formal methods, domain engineering, RAISE |
48 | Chris George |
Applicative Modelling with RAISE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Domain Modeling and the Duration Calculus ![In: Domain Modeling and the Duration Calculus, International Training School, Shanghai, China, September 17-21. 2007, Advanced Lectures, pp. 51-118, 2007, Springer, 978-3-540-74963-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
47 | Anne Elisabeth Haxthausen, Xia Yong |
Linking DC Together with TRSL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods, Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000, Proceedings, pp. 25-44, 2000, Springer, 3-540-41196-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
integration of specification formalisms, Formal methods, Duration Calculus, RAISE |
45 | Tim Menzies, Burak Turhan (eds.) |
Proceedings of the 7th International Workshop on Realizing Artificial Intelligence Synergies in Software Engineering, RAISE@ICSE 2019, Montreal, QC, Canada, May 28, 2019 ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAISE@ICSE ![IEEE / ACM, 978-1-7281-2272-4 The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
45 | Rudolf Ferenc, Péter Hegedüs, Péter Gyimesi, Gábor Antal, Dénes Bán, Tibor Gyimóthy |
Challenging machine learning algorithms in predicting vulnerable JavaScript functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAISE@ICSE ![In: Proceedings of the 7th International Workshop on Realizing Artificial Intelligence Synergies in Software Engineering, RAISE@ICSE 2019, Montreal, QC, Canada, May 28, 2019, pp. 8-14, 2019, IEEE / ACM, 978-1-7281-2272-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
45 | Gharib Gharibi, Vijay Walunj, Sirisha Rella, Yugyung Lee |
ModelKB: towards automated management of the modeling lifecycle in deep learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAISE@ICSE ![In: Proceedings of the 7th International Workshop on Realizing Artificial Intelligence Synergies in Software Engineering, RAISE@ICSE 2019, Montreal, QC, Canada, May 28, 2019, pp. 28-34, 2019, IEEE / ACM, 978-1-7281-2272-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
45 | Ole Meyer, Volker Gruhn |
Towards concept based software engineering for intelligent agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAISE@ICSE ![In: Proceedings of the 7th International Workshop on Realizing Artificial Intelligence Synergies in Software Engineering, RAISE@ICSE 2019, Montreal, QC, Canada, May 28, 2019, pp. 42-48, 2019, IEEE / ACM, 978-1-7281-2272-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
45 | Ian Wright, Albert Ziegler 0001 |
The standard coder: a machine learning approach to measuring the effort required to produce source code change. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAISE@ICSE ![In: Proceedings of the 7th International Workshop on Realizing Artificial Intelligence Synergies in Software Engineering, RAISE@ICSE 2019, Montreal, QC, Canada, May 28, 2019, pp. 1-7, 2019, IEEE / ACM, 978-1-7281-2272-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
45 | Jack Humphreys, Hoa Khanh Dam |
An explainable deep model for defect prediction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAISE@ICSE ![In: Proceedings of the 7th International Workshop on Realizing Artificial Intelligence Synergies in Software Engineering, RAISE@ICSE 2019, Montreal, QC, Canada, May 28, 2019, pp. 49-55, 2019, IEEE / ACM, 978-1-7281-2272-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
45 | Razieh Behjati, Erik Arisholm, Margrethe M. Bedregal, Chao Tan |
Synthetic test data generation using recurrent neural networks: a position paper. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAISE@ICSE ![In: Proceedings of the 7th International Workshop on Realizing Artificial Intelligence Synergies in Software Engineering, RAISE@ICSE 2019, Montreal, QC, Canada, May 28, 2019, pp. 22-27, 2019, IEEE / ACM, 978-1-7281-2272-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
45 | Suhrid Karthik, Nenad Medvidovic |
Automatic detection of latent software component relationships from online Q&A sites. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAISE@ICSE ![In: Proceedings of the 7th International Workshop on Realizing Artificial Intelligence Synergies in Software Engineering, RAISE@ICSE 2019, Montreal, QC, Canada, May 28, 2019, pp. 15-21, 2019, IEEE / ACM, 978-1-7281-2272-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
45 | Marc Hesenius, Nils Schwenzfeier, Ole Meyer, Wilhelm Koop, Volker Gruhn |
Towards a software engineering process for developing data-driven applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAISE@ICSE ![In: Proceedings of the 7th International Workshop on Realizing Artificial Intelligence Synergies in Software Engineering, RAISE@ICSE 2019, Montreal, QC, Canada, May 28, 2019, pp. 35-41, 2019, IEEE / ACM, 978-1-7281-2272-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
45 | Walter F. Tichy, Leandro L. Minku (eds.) |
6th IEEE/ACM International Workshop on Realizing Artificial Intelligence Synergies in Software Engineering, RAISE@ICSE 2018, Gothenburg, Sweden, May 27, 2018 ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAISE@ICSE ![ACM, 978-1-4503-5723-4 The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
45 | Dario Di Nucci, Fabio Palomba, Andrea De Lucia |
Evaluating the Adaptive Selection of Classifiers for Cross-Project Bug Prediction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAISE@ICSE ![In: 6th IEEE/ACM International Workshop on Realizing Artificial Intelligence Synergies in Software Engineering, RAISE@ICSE 2018, Gothenburg, Sweden, May 27, 2018, pp. 48-54, 2018, ACM, 978-1-4503-5723-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
45 | Robert Feldt, Francisco Gomes de Oliveira Neto, Richard Torkar |
Ways of Applying Artificial Intelligence in Software Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAISE@ICSE ![In: 6th IEEE/ACM International Workshop on Realizing Artificial Intelligence Synergies in Software Engineering, RAISE@ICSE 2018, Gothenburg, Sweden, May 27, 2018, pp. 35-41, 2018, ACM, 978-1-4503-5723-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
45 | Martin Blersch, Mathias Landhäußer, Thomas Mayer |
Semi-Automatic Generation of Active Ontologies from Web Forms for Intelligent Assistants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAISE@ICSE ![In: 6th IEEE/ACM International Workshop on Realizing Artificial Intelligence Synergies in Software Engineering, RAISE@ICSE 2018, Gothenburg, Sweden, May 27, 2018, pp. 28-34, 2018, ACM, 978-1-4503-5723-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
45 | Themistoklis Diamantopoulos, Georgios Karagiannopoulos, Andreas L. Symeonidis |
CodeCatch: Extracting Source Code Snippets from Online Sources. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAISE@ICSE ![In: 6th IEEE/ACM International Workshop on Realizing Artificial Intelligence Synergies in Software Engineering, RAISE@ICSE 2018, Gothenburg, Sweden, May 27, 2018, pp. 21-27, 2018, ACM, 978-1-4503-5723-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
45 | András Kicsi, László Tóth 0002, László Vidács |
Exploring the Benefits of Utilizing Conceptual Information in Test-to-Code Traceability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAISE@ICSE ![In: 6th IEEE/ACM International Workshop on Realizing Artificial Intelligence Synergies in Software Engineering, RAISE@ICSE 2018, Gothenburg, Sweden, May 27, 2018, pp. 8-14, 2018, ACM, 978-1-4503-5723-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
45 | Sohil L. Shrestha, Saroj Panda, Christoph Csallner |
Complementing Machine Learning Classifiers via Dynamic Symbolic Execution: "Human vs. Bot Generated" Tweets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAISE@ICSE ![In: 6th IEEE/ACM International Workshop on Realizing Artificial Intelligence Synergies in Software Engineering, RAISE@ICSE 2018, Gothenburg, Sweden, May 27, 2018, pp. 15-20, 2018, ACM, 978-1-4503-5723-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
45 | Steven Young, Tamer Abdou, Ayse Bener |
A Replication Study: Just-in-Time Defect Prediction with Ensemble Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAISE@ICSE ![In: 6th IEEE/ACM International Workshop on Realizing Artificial Intelligence Synergies in Software Engineering, RAISE@ICSE 2018, Gothenburg, Sweden, May 27, 2018, pp. 42-47, 2018, ACM, 978-1-4503-5723-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
45 | Sebastian Weigelt, Tobias Hey, Mathias Landhäußer |
Integrating a Dialog Component into a Framework for Spoken Language Understanding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAISE@ICSE ![In: 6th IEEE/ACM International Workshop on Realizing Artificial Intelligence Synergies in Software Engineering, RAISE@ICSE 2018, Gothenburg, Sweden, May 27, 2018, pp. 1-7, 2018, ACM, 978-1-4503-5723-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
45 | |
Proceedings of the 5th International Workshop on Realizing Artificial Intelligence Synergies in Software Engineering, RAISE@ICSE 2016, Austin, Texas, USA, May 14-22, 2016 ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAISE@ICSE ![ACM, 978-1-4503-4165-3 The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
45 | Janardan Misra, Shubhashis Sengupta, Sanjay Podder |
Topic cohesion preserving requirements clustering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAISE@ICSE ![In: Proceedings of the 5th International Workshop on Realizing Artificial Intelligence Synergies in Software Engineering, RAISE@ICSE 2016, Austin, Texas, USA, May 14-22, 2016, pp. 22-28, 2016, ACM, 978-1-4503-4165-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
45 | Shirin Akbarinasaji, Ayse Basar Bener, Atakan Erdem |
Measuring the principal of defect debt. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAISE@ICSE ![In: Proceedings of the 5th International Workshop on Realizing Artificial Intelligence Synergies in Software Engineering, RAISE@ICSE 2016, Austin, Texas, USA, May 14-22, 2016, pp. 1-7, 2016, ACM, 978-1-4503-4165-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
45 | S. M. Didar Al Alam, Muhammad Rezaul Karim 0002, Dietmar Pfahl, Günther Ruhe |
Comparative analysis of predictive techniques for release readiness classification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAISE@ICSE ![In: Proceedings of the 5th International Workshop on Realizing Artificial Intelligence Synergies in Software Engineering, RAISE@ICSE 2016, Austin, Texas, USA, May 14-22, 2016, pp. 15-21, 2016, ACM, 978-1-4503-4165-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
45 | Vincenzo Musco, Antonin Carette, Martin Monperrus, Philippe Preux |
A learning algorithm for change impact prediction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAISE@ICSE ![In: Proceedings of the 5th International Workshop on Realizing Artificial Intelligence Synergies in Software Engineering, RAISE@ICSE 2016, Austin, Texas, USA, May 14-22, 2016, pp. 8-14, 2016, ACM, 978-1-4503-4165-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
45 | Rachel Harrison, Ayse Basar Bener, Burak Turhan (eds.) |
4th IEEE/ACM International Workshop on Realizing Artificial Intelligence Synergies in Software Engineering, RAISE 2015, Florence, Italy, May 17, 2015 ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAISE@ICSE ![IEEE Computer Society, 978-1-4673-7064-6 The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
45 | Suman Roychoudhury, Vinay Kulkarni, Nikhil Bellarykar |
Mining Enterprise Models for Knowledgeable Decision Making. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAISE@ICSE ![In: 4th IEEE/ACM International Workshop on Realizing Artificial Intelligence Synergies in Software Engineering, RAISE 2015, Florence, Italy, May 17, 2015, pp. 1-6, 2015, IEEE Computer Society, 978-1-4673-7064-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
45 | Mostafa Hamza, Robert J. Walker |
Recommending Features and Feature Relationships from Requirements Documents for Software Product Lines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAISE@ICSE ![In: 4th IEEE/ACM International Workshop on Realizing Artificial Intelligence Synergies in Software Engineering, RAISE 2015, Florence, Italy, May 17, 2015, pp. 25-31, 2015, IEEE Computer Society, 978-1-4673-7064-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
45 | Petros Papadopoulos, Neil Walkinshaw |
Black-Box Test Generation from Inferred Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAISE@ICSE ![In: 4th IEEE/ACM International Workshop on Realizing Artificial Intelligence Synergies in Software Engineering, RAISE 2015, Florence, Italy, May 17, 2015, pp. 19-24, 2015, IEEE Computer Society, 978-1-4673-7064-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
45 | Themistoklis G. Diamantopoulos, Andreas L. Symeonidis |
Towards Interpretable Defect-Prone Component Analysis Using Genetic Fuzzy Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAISE@ICSE ![In: 4th IEEE/ACM International Workshop on Realizing Artificial Intelligence Synergies in Software Engineering, RAISE 2015, Florence, Italy, May 17, 2015, pp. 32-38, 2015, IEEE Computer Society, 978-1-4673-7064-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
45 | Mathias Landhaeusser, Ronny Hug |
Text Understanding for Programming in Natural Language: Control Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAISE@ICSE ![In: 4th IEEE/ACM International Workshop on Realizing Artificial Intelligence Synergies in Software Engineering, RAISE 2015, Florence, Italy, May 17, 2015, pp. 7-12, 2015, IEEE Computer Society, 978-1-4673-7064-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
45 | Mirco Schindler, Oliver Fox, Andreas Rausch |
Clustering Source Code Elements by Semantic Similarity Using Wikipedia. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAISE@ICSE ![In: 4th IEEE/ACM International Workshop on Realizing Artificial Intelligence Synergies in Software Engineering, RAISE 2015, Florence, Italy, May 17, 2015, pp. 13-18, 2015, IEEE Computer Society, 978-1-4673-7064-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
45 | Burak Turhan, Ayse Basar Bener, Çetin Meriçli, Andriy V. Miranskyy, Leandro L. Minku (eds.) |
3rd International Workshop on Realizing Artificial Intelligence Synergies in Software Engineering, RAISE 2014, Hyderabad, India, June 3, 2014 ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAISE ![ACM, 978-1-4503-2846-3 The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
45 | Ritika Jain, Smita Ghaisas, Ashish Sureka |
SANAYOJAN: a framework for traceability link recovery between use-cases in software requirement specification and regulatory documents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAISE ![In: 3rd International Workshop on Realizing Artificial Intelligence Synergies in Software Engineering, RAISE 2014, Hyderabad, India, June 3, 2014, pp. 12-18, 2014, ACM, 978-1-4503-2846-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
45 | Richa Sharma, Jaspreet Bhatia, K. K. Biswas |
Machine learning for constituency test of coordinating conjunctions in requirements specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAISE ![In: 3rd International Workshop on Realizing Artificial Intelligence Synergies in Software Engineering, RAISE 2014, Hyderabad, India, June 3, 2014, pp. 25-31, 2014, ACM, 978-1-4503-2846-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
45 | Jane Cleland-Huang, Jin Guo 0004 |
Towards more intelligent trace retrieval algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAISE ![In: 3rd International Workshop on Realizing Artificial Intelligence Synergies in Software Engineering, RAISE 2014, Hyderabad, India, June 3, 2014, pp. 1-6, 2014, ACM, 978-1-4503-2846-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
45 | Ayushi Aggarwal, Gajendra Waghmare, Ashish Sureka |
Mining issue tracking systems using topic models for trend analysis, corpus exploration, and understanding evolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAISE ![In: 3rd International Workshop on Realizing Artificial Intelligence Synergies in Software Engineering, RAISE 2014, Hyderabad, India, June 3, 2014, pp. 52-58, 2014, ACM, 978-1-4503-2846-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
45 | Mathias Landhäußer, Tobias Hey, Walter F. Tichy |
Deriving time lines from texts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAISE ![In: 3rd International Workshop on Realizing Artificial Intelligence Synergies in Software Engineering, RAISE 2014, Hyderabad, India, June 3, 2014, pp. 45-51, 2014, ACM, 978-1-4503-2846-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
45 | Ayse Tosun Misirli, Ayse Basar Bener |
A mapping study on bayesian networks for software quality prediction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAISE ![In: 3rd International Workshop on Realizing Artificial Intelligence Synergies in Software Engineering, RAISE 2014, Hyderabad, India, June 3, 2014, pp. 7-11, 2014, ACM, 978-1-4503-2846-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
45 | Falk Langer, Erik Oswald |
A self-learning approach for validation of communication in embedded systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAISE ![In: 3rd International Workshop on Realizing Artificial Intelligence Synergies in Software Engineering, RAISE 2014, Hyderabad, India, June 3, 2014, pp. 38-44, 2014, ACM, 978-1-4503-2846-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
45 | Imran Sarwar Bajwa, Behzad Bordbar, Mark G. Lee |
OCL usability: a major challenge in adopting UML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAISE ![In: 3rd International Workshop on Realizing Artificial Intelligence Synergies in Software Engineering, RAISE 2014, Hyderabad, India, June 3, 2014, pp. 32-37, 2014, ACM, 978-1-4503-2846-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
45 | Naveen Kulkarni, Vasudeva Varma |
Supporting comprehension of unfamiliar programs by modeling an expert's perception. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAISE ![In: 3rd International Workshop on Realizing Artificial Intelligence Synergies in Software Engineering, RAISE 2014, Hyderabad, India, June 3, 2014, pp. 19-24, 2014, ACM, 978-1-4503-2846-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
45 | |
2nd International Workshop on Realizing Artificial Intelligence Synergies in Software Engineering, RAISE 2013, San Francisco, CA, USA, May 25-26, 2013 ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAISE@ICSE ![IEEE Computer Society, 978-1-4673-6437-9 The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
45 | Tao Xie 0001 |
The synergy of human and artificial intelligence in software engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAISE@ICSE ![In: 2nd International Workshop on Realizing Artificial Intelligence Synergies in Software Engineering, RAISE 2013, San Francisco, CA, USA, May 25-26, 2013, pp. 4-6, 2013, IEEE Computer Society, 978-1-4673-6437-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
45 | Romina Torres, Nelly Bencomo, Hernán Astudillo |
Addressing the QoS drift in specification models of self-adaptive service-based systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAISE@ICSE ![In: 2nd International Workshop on Realizing Artificial Intelligence Synergies in Software Engineering, RAISE 2013, San Francisco, CA, USA, May 25-26, 2013, pp. 28-34, 2013, IEEE Computer Society, 978-1-4673-6437-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
45 | Abdel Salam Sayyad, Hany H. Ammar |
Pareto-optimal search-based software engineering (POSBSE): A literature survey. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAISE@ICSE ![In: 2nd International Workshop on Realizing Artificial Intelligence Synergies in Software Engineering, RAISE 2013, San Francisco, CA, USA, May 25-26, 2013, pp. 21-27, 2013, IEEE Computer Society, 978-1-4673-6437-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
45 | Ekrem Kocaguneli, Bojan Cukic, Huihua Lu |
Predicting more from less: Synergies of learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAISE@ICSE ![In: 2nd International Workshop on Realizing Artificial Intelligence Synergies in Software Engineering, RAISE 2013, San Francisco, CA, USA, May 25-26, 2013, pp. 42-48, 2013, IEEE Computer Society, 978-1-4673-6437-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
45 | Constanze Deiters, Andreas Rausch, Mirco Schindler |
Using spectral clustering to automate identification and optimization of component structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAISE@ICSE ![In: 2nd International Workshop on Realizing Artificial Intelligence Synergies in Software Engineering, RAISE 2013, San Francisco, CA, USA, May 25-26, 2013, pp. 14-20, 2013, IEEE Computer Society, 978-1-4673-6437-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
45 | Constance L. Heitmeyer, Marc Pickett, Len Breslow, David W. Aha, J. Greg Trafton, Elizabeth I. Leonard |
High assurance human-centric decision systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAISE@ICSE ![In: 2nd International Workshop on Realizing Artificial Intelligence Synergies in Software Engineering, RAISE 2013, San Francisco, CA, USA, May 25-26, 2013, pp. 35-41, 2013, IEEE Computer Society, 978-1-4673-6437-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
45 | Övünç Bozcan, Ayse Basar Bener |
Handling missing attributes using matrix factorization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAISE@ICSE ![In: 2nd International Workshop on Realizing Artificial Intelligence Synergies in Software Engineering, RAISE 2013, San Francisco, CA, USA, May 25-26, 2013, pp. 49-55, 2013, IEEE Computer Society, 978-1-4673-6437-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
45 | Nelly Bencomo, Amel Belaggoun, Valérie Issarny |
Bayesian artificial intelligence for tackling uncertainty in self-adaptive systems: The case of dynamic decision networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAISE@ICSE ![In: 2nd International Workshop on Realizing Artificial Intelligence Synergies in Software Engineering, RAISE 2013, San Francisco, CA, USA, May 25-26, 2013, pp. 7-13, 2013, IEEE Computer Society, 978-1-4673-6437-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
45 | John A. Clark |
SE and AI: A two-way street. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAISE@ICSE ![In: 2nd International Workshop on Realizing Artificial Intelligence Synergies in Software Engineering, RAISE 2013, San Francisco, CA, USA, May 25-26, 2013, pp. 1-3, 2013, IEEE Computer Society, 978-1-4673-6437-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
45 | Rachel Harrison (eds.) |
Proceedings of the First International Workshop on Realizing AI Synergies in Software Engineering, RAISE 2012, Zurich, Switzerland, June 5, 2012 ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAISE@ICSE ![IEEE, 978-1-4673-1753-5 The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
45 | Kevin Jalbert, Jeremy S. Bradbury |
Predicting mutation score using source code and test suite metrics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAISE@ICSE ![In: Proceedings of the First International Workshop on Realizing AI Synergies in Software Engineering, RAISE 2012, Zurich, Switzerland, June 5, 2012, pp. 42-46, 2012, IEEE, 978-1-4673-1753-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
45 | Sabine Moisan |
Intelligent monitoring of software components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAISE@ICSE ![In: Proceedings of the First International Workshop on Realizing AI Synergies in Software Engineering, RAISE 2012, Zurich, Switzerland, June 5, 2012, pp. 17-21, 2012, IEEE, 978-1-4673-1753-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
45 | David A. Clifton, Jeremy Gibbons, Jim Davies, Lionel Tarassenko |
Machine learning and software engineering in health informatics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAISE@ICSE ![In: Proceedings of the First International Workshop on Realizing AI Synergies in Software Engineering, RAISE 2012, Zurich, Switzerland, June 5, 2012, pp. 37-41, 2012, IEEE, 978-1-4673-1753-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
45 | Tulio de Souza Alcantara, Jörg Denzinger, Jennifer Ferreira, Frank Maurer |
Learning gestures for interacting with low-fidelity prototypes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAISE@ICSE ![In: Proceedings of the First International Workshop on Realizing AI Synergies in Software Engineering, RAISE 2012, Zurich, Switzerland, June 5, 2012, pp. 32-36, 2012, IEEE, 978-1-4673-1753-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
45 | Iman Keivanloo, Juergen Rilling |
Clone detection meets semantic web-based transitive closure computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAISE@ICSE ![In: Proceedings of the First International Workshop on Realizing AI Synergies in Software Engineering, RAISE 2012, Zurich, Switzerland, June 5, 2012, pp. 12-16, 2012, IEEE, 978-1-4673-1753-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
45 | Martin Iliev, Bilal Karasneh, Michel R. V. Chaudron, Edwin Essenius |
Automated prediction of defect severity based on codifying design knowledge using ontologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAISE@ICSE ![In: Proceedings of the First International Workshop on Realizing AI Synergies in Software Engineering, RAISE 2012, Zurich, Switzerland, June 5, 2012, pp. 7-11, 2012, IEEE, 978-1-4673-1753-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
45 | Mark Harman |
The role of artificial intelligence in software engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAISE@ICSE ![In: Proceedings of the First International Workshop on Realizing AI Synergies in Software Engineering, RAISE 2012, Zurich, Switzerland, June 5, 2012, pp. 1-6, 2012, IEEE, 978-1-4673-1753-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
45 | Mathias Landhäußer, Sven J. Körner, Walter F. Tichy |
Synchronizing domain models with natural language specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAISE@ICSE ![In: Proceedings of the First International Workshop on Realizing AI Synergies in Software Engineering, RAISE 2012, Zurich, Switzerland, June 5, 2012, pp. 22-26, 2012, IEEE, 978-1-4673-1753-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
45 | Daniel Rodríguez 0001, Israel Herraiz, Rachel Harrison |
On software engineering repositories and their open problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAISE@ICSE ![In: Proceedings of the First International Workshop on Realizing AI Synergies in Software Engineering, RAISE 2012, Zurich, Switzerland, June 5, 2012, pp. 52-56, 2012, IEEE, 978-1-4673-1753-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
45 | Ines Coimbra Morgado, Ana C. R. Paiva, João Pascoal Faria, Rui Camacho |
GUI reverse engineering with machine learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAISE@ICSE ![In: Proceedings of the First International Workshop on Realizing AI Synergies in Software Engineering, RAISE 2012, Zurich, Switzerland, June 5, 2012, pp. 27-31, 2012, IEEE, 978-1-4673-1753-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
45 | Joel Cordeiro, Bruno Antunes, Paulo Gomes |
Context-based search to overcome learning barriers in software development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAISE@ICSE ![In: Proceedings of the First International Workshop on Realizing AI Synergies in Software Engineering, RAISE 2012, Zurich, Switzerland, June 5, 2012, pp. 47-51, 2012, IEEE, 978-1-4673-1753-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
41 | Chenxi Zhang, Xiaodong Lin 0001, Rongxing Lu, Pin-Han Ho |
RAISE: An Efficient RSU-Aided Message Authentication Scheme in Vehicular Communication Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICC ![In: Proceedings of IEEE International Conference on Communications, ICC 2008, Beijing, China, 19-23 May 2008, pp. 1451-1457, 2008, IEEE. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
41 | Daniel Riesco, Laura Felice, Narayan C. Debnath, German Montejano |
Using a feature model for RAISE specification reusability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IRI ![In: Proceedings of the 2005 IEEE International Conference on Information Reuse and Integration, IRI - 2005, August 15-17, 2005, Las Vegas Hilton, Las Vegas, NV, USA, pp. 306-311, 2005, IEEE Systems, Man, and Cybernetics Society, 0-7803-9093-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
39 | Li Dan, Bernhard K. Aichernig |
Combining Algebraic and Model-Based Test Case Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2004, First International Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected Papers, pp. 250-264, 2004, Springer, 3-540-25304-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
formal method, Test case generation, RAISE, RSL |
39 | Xiaomeng Dong, Tao Tan, Michael Potter, Yun-Chan Tsai, Gaurav Kumar, V. Ratna Saripalli |
To Raise or Not To Raise: The Autonomous Learning Rate Question. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2106.08767, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
39 | Eman Al-Zubeidi, Jinsil Hwaryoung Seo, Julia DeLaney, Dominic Nguyen, Jonathan Konderla, Jaime Díaz |
A Walk Alone: Triggering Fear and Simulating Empathy to Raise Awareness about the Dangers Women Face when Walking Alone at Night: Triggering Fear and Simulating Empathy to Raise Awareness about the Dangers Women Face when Walking Alone at Night. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGGRAPH Asia XR ![In: SA '21: SIGGRAPH Asia 2021 Extended Reality Program, Tokyo, Japan, December 14 - 17, 2021, pp. 1:1-1:3, 2021, ACM, 978-1-4503-9075-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
39 | Yongyue Sun, Hongyan Li 0002, Jinbo Zhang |
RAISE: 一种高效的社交网络影响成本最小化算法 (RAISE: Efficient Influence Cost Minimizing Algorithm in Social Network). ![Search on Bibsonomy](Pics/bibsonomy.png) |
计算机科学 ![In: 计算机科学 46(9), pp. 59-65, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
39 | James Geller, Xuan Zhou 0007, Kalpana Prathipati, Sripriya Kanigiluppai, Xiaoming Chen |
Raising data for improved support in rule mining: How to raise and how far to raise. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Intell. Data Anal. ![In: Intell. Data Anal. 9(4), pp. 397-415, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
34 | John Gray, Gill Harrison, Andrea Gorra, Jakki Sheridan-Ross, Janet Finlay |
A computer-based test to raise awareness of disability issues. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITiCSE ![In: Proceedings of the 13th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2008, Madrid, Spain, June 30 - July 2, 2008, pp. 347, 2008, ACM, 978-1-60558-078-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
computer assisted test, disability awareness, staff development |
34 | Juan Ignacio Perna, Chris George |
Model Checking RAISE Applicative Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 10-14 September 2007, London, England, UK, pp. 257-268, 2007, IEEE Computer Society, 978-0-7695-2884-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
34 | A. Alapide, S. Candia, M. Cinella, S. Quaranta |
Applying Teamwork/Ada and RAISE for Developing an Air Traffic Control Application. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Ada in Europe, Second International Eurospace - Ada-Europe Symposium, Frankfurt/Main, Germany, October 2-6, 1995, Proceedings, pp. 331-343, 1995, Springer, 3-540-60757-9. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
34 | François Erasmy, Emil Sekerinski |
Stepwise Refinement of Control Software - A Case Study Using RAISE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FME ![In: FME '94: Industrial Benefit of Formal Methods, Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-18, 1994, Proceedings, pp. 547-566, 1994, Springer, 3-540-58555-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
34 | Bent Dandanell, Jesper Gørtz, Jan Storbank Pedersen, Eld Zierau 0001 |
Experience from Applications of RAISE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FME ![In: FME '93: Industrial-Strength Formal Methods, First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993, Proceedings, pp. 52-63, 1993, Springer, 3-540-56662-7. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
34 | Søren Prehn |
From VDM to RAISE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VDM Europe ![In: VDM '87, VDM - A Formal Method at Work, VDM-Europe Symposium, Brussels, Belgium, March 23-26, 1987, Proceedings, pp. 141-150, 1987, Springer, 3-540-17654-3. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
32 | Anne E. Haxthausen, Jan Peleska 0001 |
Formal Development and Verification of a Distributed Railway Control System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 26(8), pp. 687-701, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
verification, formal specification, Safety, stepwise refinement, railways, distributed control system, RAISE |
27 | Carmen Soler, Alejandra Zacarías, Andrés Lucero |
Molarcropolis: a mobile persuasive game to raise oral health and dental hygiene awareness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advances in Computer Entertainment Technology ![In: Proceedings of the International Conference on Advances in Computer Entertainment Technology, ACE 2009, Athens, Greece, October 29-31, 2009, pp. 388-391, 2009, ACM, 978-1-60558-864-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
oral health, mobile gaming, persuasion, adolescence |
27 | Mohammad Reza Nami, Abbas Malekpour |
Formal specification of a particular banking domain with RAISE specification language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCC ![In: Proceedings of the 13th IEEE Symposium on Computers and Communications (ISCC 2008), July 6-9, Marrakech, Morocco, pp. 695-699, 2008, IEEE Computer Society, 978-1-4244-2702-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
27 | John Gray, Gill Harrison, Jakki Sheridan-Ross, Andrea Gorra |
Using a Computer Aided Test to Raise Awareness of Disability Issues amongst University Teaching Staff. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCHP ![In: Computers Helping People with Special Needs, 11th International Conference, ICCHP 2008, Linz, Austria, July 9-11, 2008. Proceedings, pp. 198-206, 2008, Springer, 978-3-540-70539-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
staff training, Computer aided test, Disability |
27 | Chris George |
Tutorial on the RAISE Language, Method and Tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings, pp. 3-4, 2004, Springer, 3-540-23841-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
27 | Morten P. Lindegaard, Anne E. Haxthausen |
Proof Support for RAISE by a Reuse Approach Based on Institutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings, pp. 319-333, 2004, Springer, 3-540-22381-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
proof support, Institutions, algebraic semantics, HOL, RSL |
27 | Hye-Jung Lee, Won-Hwan Park, Doo-Soon Park |
An Efficient Method for Quantitative Association Rules to Raise Reliance of Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APWeb ![In: Advanced Web Technologies and Applications, 6th Asia-Pacific Web Conference, APWeb 2004, Hangzhou, China, April 14-17, 2004, Proceedings, pp. 506-512, 2004, Springer, 3-540-21371-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
27 | Gafurov Davrondjon, Tomasz Janowski |
Developing a Spell-Checker for Tajik Using RAISE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21-25, 2002, Proceedings, pp. 401-405, 2002, Springer, 3-540-00029-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
27 | Chris George |
The Development of the RAISE Tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
10th Anniversary Colloquium of UNU/IIST ![In: Formal Methods at the Crossroads. From Panacea to Foundational Support, 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002, Revised Papers, pp. 49-64, 2002, Springer, 3-540-20527-6. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
27 | Graham E. Deacon |
An Attempt to Raise the Level of Software Abstraction in Assembly Robotics through an Apposite Choice of Underlying Mechatronics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Robotic Syst. ![In: J. Intell. Robotic Syst. 28(4), pp. 343-399, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
accommodating control, contact configurations, object sliding, task-invariant assembly strategies, programming abstraction, direct-drive robot |
27 | D. L. Chalmers, Bent Dandanell, Jesper Gørtz, Jan Storbank Pedersen, Eld Zierau 0001 |
Using RAISE - First Impressions from the LaCoS Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VDM Europe (1) ![In: VDM '91 - Formal Software Development, 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991, Proceedings, Volume 1: Conference Contributions, pp. 645-657, 1991, Springer, 3-540-54834-3. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
25 | Asger Eir |
Relating Domain Concepts Intensionally by Ordering Connections. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods and Hybrid Real-Time Systems ![In: Formal Methods and Hybrid Real-Time Systems, Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays, Papers presented at a Symposium held in Macao, China, September 24-25, 2007, pp. 188-216, 2007, Springer, 978-3-540-75220-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
The RAISE Specification Language (RSL), Classification, Formal Methods, Conceptual modelling, Abstract Interpretation, Domain Engineering, Galois Connection, Intension |
25 | Satyajit Acharya, Chris George, Hrushikesha Mohanty |
Domain Consistency in Requirements Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QSIC ![In: Fifth International Conference on Quality Software (QSIC 2005), 19-20 September 2005, Melbourne, Australia, pp. 231-240, 2005, IEEE Computer Society, 0-7695-2472-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Consistency Conditions, Testing, Specification, RAISE, RSL |
25 | Manas Ranjan Patra, Hrushikesha Mohanty |
A Formal Framework to Build Software Agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 8th Asia-Pacific Software Engineering Conference (APSEC 2001), 4-7 December 2001, Macau, China, pp. 119-126, 2001, IEEE Computer Society, 0-7695-1408-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
RAISE specification language, Agent engineering, Software agent, BDI architecture |
21 | Muhammad Abdul Qadir 0001, Muhammad Wajahaat Noshairwan |
Warnings for Disjoint Knowledge Omission in Ontologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIW ![In: International Conference on Internet and Web Applications and Services (ICIW 2007), May 13-19, 2007, Le Morne, Mauritius, pp. 45, 2007, IEEE Computer Society, 0-7695-2844-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Warnings Generation, incompleteness error warning, Evaluation Case study, Ontology Evaluation |
21 | Juha-Pekka Tolvanen, Matti Rossi |
MetaEdit+: defining and using domain-specific modeling languages and code generators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion of the 18th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2003, October 26-30, 2003, Anaheim, CA, USA, pp. 92-93, 2003, ACM, 1-58113-751-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
code generators, metamodel, domain-specific modeling |
20 | Michael Oesterle, Tim Grams, Christian Bartelt, Heiner Stuckenschmidt |
RAISE the Bar: Restriction of Action Spaces for Improved Social Welfare and Equity in Traffic Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2024, Auckland, New Zealand, May 6-10, 2024, pp. 1492-1500, 2024, ACM. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP BibTeX RDF |
|
20 | Francesco Garibaldo, Emilio Rebecchi |
If I cannot move heaven, I will raise hell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AI Soc. ![In: AI Soc. 38(5), pp. 1945-1948, October 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 1483 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|