|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 7 occurrences of 5 keywords
|
|
|
|
|
Results
Found 19 publication records. Showing 19 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Normand Séguin, Guy Tremblay, Houda Bagane |
Agile Principles as Software Engineering Principles: An Analysis.  |
XP  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Wassim Jendoubi, Guy Tremblay, Aziz Salah |
Interface Expressions Monitoring for BPEL Processes. |
WEBIST |
2011 |
DBLP BibTeX RDF |
|
| 1 | Guy Tremblay, Paul Lessard |
A marking language for the oto assignment marking tool. |
ITiCSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hafedh Mili, Guy Tremblay, Guitta Bou Jaoude, Eric Lefebvre, Lamia Elabed, Ghizlane El-Boussaidi |
Business process modeling languages: Sorting through the alphabet soup. |
ACM Comput. Surv. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Guy Tremblay, F. Guérin, A. Pons, Aziz Salah |
Oto, a generic and extensible tool for marking programming assignments. |
Softw., Pract. Exper. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolas Desnos, Marianne Huchard, Guy Tremblay, Christelle Urtado, Sylvain Vauttier |
Search-based many-to-one component substitution. |
Journal of Software Maintenance |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Guy Tremblay, Bruno Malenfant, Aziz Salah, Pablo Zentilli |
Introducing students to professional software construction: a "software construction and maintenance" course and its maintenance corpus. |
ITiCSE |
2007 |
DBLP DOI BibTeX RDF |
software engineering, testing, maintenance |
| 1 | Guy Tremblay, Louise Laforest, Aziz Salah |
Extending a marking tool with simple support for testing. |
ITiCSE |
2007 |
DBLP DOI BibTeX RDF |
automated marking, testing, educational software |
| 1 | Nicolas Desnos, Marianne Huchard, Christelle Urtado, Sylvain Vauttier, Guy Tremblay |
Automated and Unanticipated Flexible Component Substitution. |
CBSE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Hafedh Mili, Mohand Frendi, Guitta Bou Jaoude, Louis Martin, Guy Tremblay |
Classifying Business Processes for Domain Engineering. |
ICTAI |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Guy Tremblay, C. J. Morrone, José Nelson Amaral, Guang R. Gao |
Implementation of the EARTH programming model on SMP clusters: a multi-threaded language and runtime system. |
Concurrency and Computation: Practice and Experience |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Guy Tremblay |
Évolution d'un langage pour la programmation parallèle multicontexte : Threaded-C. |
Technique et Science Informatiques |
2002 |
DBLP BibTeX RDF |
|
| 1 | Charles Wallace, Guy Tremblay, José Nelson Amaral |
On the Tamability of the Location Consistency Memory Model. |
PDPTA |
2002 |
DBLP BibTeX RDF |
|
| 1 | Charles Wallace, Guy Tremblay, José Nelson Amaral |
An Abstract State Machine Specification and Verification of the Location Consistency Memory Model and Cache Protocol. |
J. UCS |
2001 |
DBLP BibTeX RDF |
|
| 1 | Guy Tremblay, Bruno Malenfant |
Lenient evaluation and parallelism. |
Comput. Lang. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Guy Tremblay |
Lenient evaluation is neither strict nor lazy. |
Comput. Lang. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Guy Tremblay |
Formal Methods: Mathematics, Computer Science, or Software Engineering? (PDF / PS) |
CSEE&T |
2000 |
DBLP DOI BibTeX RDF |
software engineering, Formal methods |
| 1 | Guy Tremblay |
Exercises for teaching logic in a formal methods course: formalizing ERDs. |
SIGCSE |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Guy Tremblay |
An undergraduate course in formal methods: "description is our business". |
SIGCSE |
1998 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #19 of 19 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")