| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Antonio Cerone, Stefan Gruner |
Special section on software engineering and formal methods: extended versions of contributions presented at SEFM 2008.  |
Software and System Modeling  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Gruner, Johan Van Zyl |
Software testing in small IT companies: a (not only) South African problem. |
South African Computer Journal |
2011 |
DBLP BibTeX RDF |
|
| 1 | Andrew M. Gravell, Y. Howard, Juan Carlos Augusto, Carla Ferreira, Stefan Gruner |
Concurrent Development of Model and Implementation |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Y. Howard, Stefan Gruner, Andrew M. Gravell, Carla Ferreira, Juan Carlos Augusto |
Model-Based Trace-Checking |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Stefan Gruner |
Editorial: special section on formal plus agile methods. |
ACM SIGSOFT Software Engineering Notes |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Gruner |
Problems for a Philosophy of Software Engineering. |
Minds and Machines |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Fritz Solms, Craig Edwards, Alexander Paar, Stefan Gruner |
A domain-specific language for URDAD based requirements elicitation. |
SAICSIT Conf. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Paar, Stefan Gruner |
Static typing with value space-based subtyping. |
SAICSIT Conf. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mushtaq Ahmad, Nazim Rahman, Stefan Gruner |
A phonetic approach to handling spelling variations in medieval documents. |
SAICSIT Conf. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Fritz Solms, Stefan Gruner, Cuen Edwards |
URDAD as a Quality-Driven Analysis and Design Process. |
SoMeT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Gruner, T. J. Steyn |
Deadlock-freeness of hexagonal systolic arrays. |
Inf. Process. Lett. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Gruner |
FM+AM'09: workshop on formal methods and agile methods - Editorial preface and foreword. |
ISSE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Kurt Geihs, Stefan Gruner, Kay Römer |
Report about 1st ICSE workshop on software engineering for sensor network applications (SESENA 2010). |
ACM SIGSOFT Software Engineering Notes |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Gruner |
Mobile agent systems and cellular automata. |
Autonomous Agents and Multi-Agent Systems |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Gruner |
Towards a Generic Design for General-purpose Sensor Network Nodes - Position Paper. |
ENASE |
2010 |
DBLP BibTeX RDF |
|
| 1 | Stefan Gruner, Bernhard Rumpe (eds.) |
FM+AM 2010 - Second International Workshop on Formal Methods and Agile Methods, 17 September 2010, Pisa (Italy) |
FM+AM |
2010 |
DBLP BibTeX RDF |
|
| 1 | Kurt Geihs, Stefan Gruner, Kay Römer |
SESENA 2010: Workshop on Software Engineering for Sensor Network Applications. |
ICSE |
2010 |
DBLP DOI BibTeX RDF |
sensor networks, software engineering, testing, methodology, tools, model-driven development, deployment |
| 1 | Stefan Gruner |
Communications: recent topic trends at the annual SAICSIT symposium. |
South African Computer Journal |
2009 |
DBLP BibTeX RDF |
|
| 1 | Stefan Gruner |
Graph Transformation Model of a Triangulated Network of Mobile Units. |
ECEASST |
2008 |
DBLP BibTeX RDF |
|
| 1 | Stefan Gruner |
Letter: CS, IS, history, and the unity of science. |
South African Computer Journal |
2008 |
DBLP BibTeX RDF |
|
| 1 | Stefan Gruner |
Festschrift at the Occasion of the 60th Birthday of Derrick G. Kourie. |
South African Computer Journal |
2008 |
DBLP BibTeX RDF |
|
| 1 | Stefan Gruner |
Letter to the editor: 40 years after Garmisch. |
South African Computer Journal |
2008 |
DBLP BibTeX RDF |
|
| 1 | Stefan Gruner |
From use cases to test cases via meta model-based reasoning. |
ISSE |
2008 |
DBLP DOI BibTeX RDF |
Prolog, Use cases, Meta model, Test cases |
| 1 | Benjamin Burkard, Georg Vogeler, Stefan Gruner |
Informatics for Historians: Tools for Medieval Document XML Markup, and their Impact on the History-Sciences. |
J. UCS |
2008 |
DBLP BibTeX RDF |
|
| 1 | Stefan Gruner |
Comments on 'How Would You Know If You Synthesized A Thinking Thing'. |
Minds and Machines |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Bilel Derbel, Mohamed Mosbah, Stefan Gruner |
Mobile Agents Implementing Local Computations in Graphs. |
ICGT |
2008 |
DBLP DOI BibTeX RDF |
Relabeling systems, Distributed algorithms, Mobile agents |
| 1 | Antonio Cerone, Stefan Gruner (eds.) |
Sixth IEEE International Conference on Software Engineering and Formal Methods, SEFM 2008, Cape Town, South Africa, 10-14 November 2008 |
SEFM |
2008 |
DBLP BibTeX RDF |
|
| 1 | Stefan Gruner, Derrick G. Kourie, Markus Roggenbach, Tinus Strauss, Bruce W. Watson |
A New CSP Operator for Optional Parallelism. |
CSSE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Gruner |
Letter to the editor: What is Informatics? |
South African Computer Journal |
2007 |
DBLP BibTeX RDF |
|
| 1 | Stefan Gruner |
How big is your IT department? |
South African Computer Journal |
2007 |
DBLP BibTeX RDF |
|
| 1 | Gerald Karch, Stefan Grüner |
Mechatronische Lenksysteme (Mechatronic Steering Systems). |
Automatisierungstechnik |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Mandy Northover, Alan Northover, Stefan Gruner, Derrick G. Kourie, Andrew Boake |
Agile software development: a contemporary philosophical perspective. |
SAICSIT Conf. |
2007 |
DBLP DOI BibTeX RDF |
critical rationalism, evolutionary change, scientific revolutions, extreme programming, paradigm shift |
| 1 | Riaan Klopper, Stefan Gruner, Derrick G. Kourie |
Assessment of a framework to compare software development methodologies. |
SAICSIT Conf. |
2007 |
DBLP DOI BibTeX RDF |
URDAD, business process analysis and design, UML, MDA, software development methodology, RUP, Aris |
| 1 | Georg Vogeler, Stefan Gruner, Benjamin Burkard |
New specialist tools for medieval document XML markup. |
SAC |
2007 |
DBLP DOI BibTeX RDF |
XML tagging, digitalization and preparation of medieval documents for the semantic web, history informatics, tool-support |
| 1 | Sasa Subotic, Judith Bishop, Stefan Gruner |
Aspect-Oriented Programming for a distributed framework. |
South African Computer Journal |
2006 |
DBLP BibTeX RDF |
|
| 1 | Stefan Gruner, Sung Shin |
Editorial message. |
SAC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Gruner |
Report on SAC-SE-2005 : communication. |
South African Computer Journal |
2005 |
DBLP BibTeX RDF |
|
| 1 | Stefan Gruner, Alessandra Cavarra, Sung Shin |
Editorial message: special track on software engineering: methods, practices, and tools. |
SAC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Gruner, Stuart Naven |
Tool support for plagiarism detection in text documents. |
SAC |
2005 |
DBLP DOI BibTeX RDF |
?2 test, automated plagiarism detection, morton's word pattern ratios, statistics, tool support, plagiarism, significance, stylometry |
| 1 | Stefan Gruner |
YASEVITCH? (Yet Another Software Event Vigorously Inclined Towards Cloudy Heights). |
South African Computer Journal |
2004 |
DBLP BibTeX RDF |
|
| 1 | Herbert H. Thompson, Chia-Chu Chiang, Ibrahim K. El-Far, Stefan Gruner, Markus Montigel, James A. Whittaker |
Special Issue on Software Engineering: Applications, Practices and Tools from the ACM Symposium on Applied Computing 2003. |
Information & Software Technology |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Ibrahim K. El-Far, Chia-Chu Chiang, Stefan Gruner, Markus Montigel, Herbert H. Thompson |
Editorial message: special track on software engineering: applications, practices, and tools. |
SAC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Herbert H. Thompson, Chia-Chu Chiang, Ibrahim K. El-Far, Stefan Gruner, Markus Montigel, James A. Whittaker |
Software Engineering Track Editorial. |
SAC |
2003 |
DBLP BibTeX RDF |
|
| 1 | Juan Carlos Augusto, Y. Howard, Andrew M. Gravell, Carla Ferreira, Stefan Gruner, Michael Leuschel |
Model-Based Approaches for Validating Business Critical Systems. |
STEP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Gruner |
Abstract Partial Deduction Challenged. |
LOPSTR |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Michel Bauderon, Stefan Gruner, Yves Métivier, Mohamed Mosbah, Afif Sellami |
Visualization of Distributed Algorithms Based on Graph Relabelling Systems. |
Electr. Notes Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Yves Métivier, Mohamed Mosbah, Pierre-André Wacrenier, Stefan Gruner |
A Distributed Algorithm for Computing a Spanning Tree in Anonymous Tprime Graph. |
OPODIS |
2001 |
DBLP BibTeX RDF |
|
| 1 | Michael Leuschel, Stefan Gruner |
Abstract Conjunctive Partial Deduction Using Regular Types and Its Application to Model Checking. |
LOPSTR |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Gruner, Murat Kurt, Gabriele Taentzer |
A Visual Modeling Technique for Controlling Graph Transformation. |
ICALP Satellite Workshops |
2000 |
DBLP BibTeX RDF |
|
| 1 | Stefan Gruner, Murat Kurt |
Diagrammatic Control of Diagrammatic Structure Generation. |
Diagrams |
2000 |
DBLP BibTeX RDF |
|
| 1 | Stefan Gruner |
Eine schematische und grammatische Korrespondenzmethode zur Spezifikation konsistent verteilter Datenmodelle. |
|
1999 |
RDF |
|
| 1 | Stefan Gruner |
A Combined Graph Schema and Graph Grammar Approach to Consistency in Distributed Data Modeling. |
AGTIVE |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Gruner, Manfred Nagl, Andy Schürr |
Integration Tools Supporting Development Processes. |
Requirements Targeting Software and Systems Engineering |
1997 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")