Searched for Maria Roussou  [new search]  [edit/save query]  [advanced search]
Searched The ACM Full-Text Collection: 569,254 records   [Expand your search to The ACM Guide to Computing Literature: 2,870,290 records] Help: ACM vs. Guide
Refinements  [remove all]  click each refinement below to remove
Institutions: University of Toronto
112 results found
Export Results: bibtexendnoteacmrefcsv

Refine by People
Names show/hide
Institutions show/hide
Authors show/hide
Editors show/hide
Refine by Publications
Publication Names show/hide
ACM Publications show/hide
All Publications show/hide
Content Formats show/hide
Publishers show/hide
Refine by Conferences
Sponsors show/hide
Events show/hide
Proceeding Series show/hide
Refine by Publication Year
1974
Result 1 – 20 of 112
Result page: 1 2 3 4 5 6

Sort by:

1
May 2005 CSCL '05: Proceedings of th 2005 conference on Computer support for collaborative learning: learning 2005: the next 10 years!
Publisher: International Society of the Learning Sciences
Bibliometrics:
Citation Count: 0
Downloads (6 Weeks): 6,   Downloads (12 Months): 17,   Downloads (Overall): 476

Full text available: PDFPDF
This paper reports an investigation of how students' literacy improved through on-line discourse. Two English literature classes in an inner city multicultural secondary school participated. The teacher taught both classes-an experimental and a control class. The experimental group was a class of Grade 9 students with access to the discourse ...
Keywords: literacy, dialogue, knowledge building
[result highlights]

2
June 2010 ICLS '10: Proceedings of the 9th International Conference of the Learning Sciences - Volume 2
Publisher: International Society of the Learning Sciences
Bibliometrics:
Citation Count: 0
Downloads (6 Weeks): 0,   Downloads (12 Months): 2,   Downloads (Overall): 51

Full text available: PDFPDF
This study examined the historical reasoning of Grade 4 students exploring medieval times using a Knowledge Building approach and Knowledge Forum technology. Discursive analysis of student contributions was conducted according to six attributes of historical reasoning: contextualization, using substantive concepts, asking historical questions, using meta-concepts, using historical sources, and argumentation. ...
[result highlights]

3
November 1998 CASCON '98: Proceedings of the 1998 conference of the Centre for Advanced Studies on Collaborative research
Publisher: IBM Press
Bibliometrics:
Citation Count: 3
Downloads (6 Weeks): 0,   Downloads (12 Months): 4,   Downloads (Overall): 176

Full text available: PDFPDF
This paper gives an overview of SC(R) 3 - a toolset designed to increase the usability of formal methods for software development. Formal requirements are specified in SC(R) 3 in an easy to use and review format, and then used in checking requirements for correctness and in verifying consistency between ...
[result highlights]

4 published by ACM
August 2019 ESEC/FSE 2019: Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering
Publisher: ACM
Bibliometrics:
Citation Count: 0
Downloads (6 Weeks): 65,   Downloads (12 Months): 65,   Downloads (Overall): 65

Full text available: PDFPDF
Applying program analyses to Software Product Lines (SPLs) has been a fundamental research problem at the intersection of Product Line Engineering and software analysis. Different attempts have been made to ”lift” particular product-level analyses to run on the entire product line. In this paper, we tackle the class of Datalog-based ...
Keywords: Datalog, Doop, Lifting, Pointer Analysis, Program Analysis, Software Product Lines, Souffl\'{e}
[result highlights]

5 published by ACM
September 2012 ASE 2012: Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering
Publisher: ACM
Bibliometrics:
Citation Count: 8
Downloads (6 Weeks): 1,   Downloads (12 Months): 8,   Downloads (Overall): 168

Full text available: PDFPDF
In this paper, we focus on the problem of feature location for families of related software products realized via code cloning. Locating code that corresponds to features in such families is an important task in many software development activities, such as support for sharing features between different products of the ...
Keywords: Software product lines, feature location, software maintenance
[result highlights]

6 published by ACM
October 2004 SIGSOFT '04/FSE-12: Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering
Publisher: ACM
Bibliometrics:
Citation Count: 55
Downloads (6 Weeks): 3,   Downloads (12 Months): 20,   Downloads (Overall): 762

Full text available: PDFPDF
Constructing comprehensive operational models of intended system behaviour is a complex and costly task. Consequently, practitioners have adopted techniques that support incremental elaboration of partial behaviour descriptions. A noteworthy example is the wide adoption of scenario-based notations such as message sequence charts. Scenario-based specifications are partial descriptions that can be ...
Keywords: merge, MTS, partial behaviour models
Also published in:
November 2004  ACM SIGSOFT Software Engineering Notes: Volume 29 Issue 6, November 2004
[result highlights]

7 published by ACM
November 2002 ACM SIGSOFT Software Engineering Notes: Volume 27 Issue 6, November 2002
Publisher: ACM
Bibliometrics:
Citation Count: 2
Downloads (6 Weeks): 2,   Downloads (12 Months): 5,   Downloads (Overall): 94

Full text available: PDFPDF
A temporal logic query is a temporal logic formula with placeholders. Given a model, a solution to a query is a set of assignments of propositional formulas to placeholders, such that replacing the placeholders with any of these assignments results in a temporal logic formula that holds in the model. ...
Keywords: CTL, multi-valued model-checking, query-checking
[result highlights]

8 published by ACM
September 2010 ASE '10: Proceedings of the IEEE/ACM international conference on Automated software engineering
Publisher: ACM
Bibliometrics:
Citation Count: 3
Downloads (6 Weeks): 0,   Downloads (12 Months): 6,   Downloads (Overall): 129

Full text available: PDFPDF
We describe a RU ntime MO nitoring and R ecovery framework (RuMoR) for BPEL applications. Our tool checks for behavioral conformance with respect to a set of user-specified properties. When runtime violations are discovered, RuMoR automatically proposes and ranks recovery plans which users can then select for execution. These plans ...
Keywords: behavioural properties, planning, recovery, runtime monitoring, sat solving, web services
[result highlights]

9
May 2015 CSI-SE '15: Proceedings of the Second International Workshop on CrowdSourcing in Software Engineering
Publisher: IEEE Press
Bibliometrics:
Citation Count: 0
Downloads (6 Weeks): 2,   Downloads (12 Months): 12,   Downloads (Overall): 81

Full text available: PDFPDF
The knowledge resources available on the Internet are increasingly being used to support software both at development time and at execution time. These take the form of conventional services as well as human knowledge work both through crowd sourcing and information stored directly on the World Wide Web. But while ...
[result highlights]

10
November 2001 CASCON '01: Proceedings of the 2001 conference of the Centre for Advanced Studies on Collaborative research
Publisher: IBM Press
Bibliometrics:
Citation Count: 0
Downloads (6 Weeks): 0,   Downloads (12 Months): 0,   Downloads (Overall): 77

Full text available: PDFPDF
Automated verification tools vary widely in the types of properties they are able to analyze, the complexity of their algorithms, and the amount of necessary user involvement. In this paper we propose a framework for step-wise automatic verification and describe a lightweight scalable program analysis tool that combines abstraction and ...
[result highlights]

11 published by ACM
November 2002 SIGSOFT '02/FSE-10: Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering
Publisher: ACM
Bibliometrics:
Citation Count: 10
Downloads (6 Weeks): 1,   Downloads (12 Months): 13,   Downloads (Overall): 503

Full text available: PDFPDF
A temporal logic query is a temporal logic formula with placeholders. Given a model, a solution to a query is a set of assignments of propositional formulas to placeholders, such that replacing the placeholders with any of these assignments results in a temporal logic formula that holds in the model. ...
Keywords: CTL, multi-valued model-checking, query-checking
[result highlights]

12 published by ACM
August 2013 SPLC '13: Proceedings of the 17th International Software Product Line Conference
Publisher: ACM
Bibliometrics:
Citation Count: 30
Downloads (6 Weeks): 2,   Downloads (12 Months): 24,   Downloads (Overall): 345

Full text available: PDFPDF
In our earlier work, we have proposed a generic framework for managing collections of related products realized via cloning -- both in the case when such products are refactored into a single-copy software product line representation and the case when they are maintained as distinct clones. In this paper, we ...
Keywords: legacy software product lines, cloned product variants, industrial case studies
[result highlights]

13
November 2010 CASCON '10: Proceedings of the 2010 Conference of the Center for Advanced Studies on Collaborative Research
Publisher: IBM Corp.
Bibliometrics:
Citation Count: 0
Downloads (6 Weeks): 0,   Downloads (12 Months): 4,   Downloads (Overall): 129

Full text available: PDFPDF
Service Integration is the core to enabling any BPM and SOA based applications, and is the mechanism we use to enable new Services from existing applications, or create new Services by composing existing Services.
[result highlights]

14 published by ACM
November 2010 FSE '10: Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering
Publisher: ACM
Bibliometrics:
Citation Count: 14
Downloads (6 Weeks): 2,   Downloads (12 Months): 6,   Downloads (Overall): 228

Full text available: PDFPDF
Web service applications are dynamic, highly distributed, and loosely coupled orchestrations of services which are notoriously difficult to debug. In this paper, we describe a user-guided recovery framework for web services. When behavioural correctness properties (safety and bounded liveness) of an application are violated at runtime, we automatically propose and ...
Keywords: runtime monitoring, web services, planning, behavioral properties, lts, sat solving
[result highlights]

15
November 2015 ASE '15: Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering
Publisher: IEEE Press
Bibliometrics:
Citation Count: 0
Downloads (6 Weeks): 6,   Downloads (12 Months): 7,   Downloads (Overall): 7

Full text available: PDFPDF
Software developers often need to transfer functionality, e.g., a set of commits implementing a new feature or a bug fix, from one branch of a configuration management system to another. That can be a challenging task as the existing configuration management tools lack support for matching high-level semantic functionality with ...
Keywords: dependency, software changes, version history
[result highlights]

16
June 2012 ICSE '12: Proceedings of the 34th International Conference on Software Engineering
Publisher: IEEE Press
Bibliometrics:
Citation Count: 40
Downloads (6 Weeks): 4,   Downloads (12 Months): 22,   Downloads (Overall): 255

Full text available: PDFPDF
Models are good at expressing information about software but not as good at expressing modelers' uncertainty about it. The highly incremental and iterative nature of software development nonetheless requires the ability to express uncertainty and reason with models containing it. In this paper, we build on our earlier work on ...
[result highlights]

17 published by ACM
May 2008 MiSE '08: Proceedings of the 2008 international workshop on Models in software engineering
Publisher: ACM
Bibliometrics:
Citation Count: 1
Downloads (6 Weeks): 0,   Downloads (12 Months): 1,   Downloads (Overall): 185

Full text available: PDFPDF
In large-scale model-based development, developers periodically need to combine collections of interrelated models. These models may capture different features of a system, describe alternative perspectives on a single feature, or express ways in which different features may alter one another's structure or behaviour. We refer to the process of combining ...
Keywords: behavioural model, model composition, model fusion, model management, model matching, model merging
[result highlights]

18 published by ACM
January 2012 ACM Transactions on Computational Logic (TOCL): Volume 13 Issue 1, January 2012
Publisher: ACM
Bibliometrics:
Citation Count: 2
Downloads (6 Weeks): 0,   Downloads (12 Months): 7,   Downloads (Overall): 183

Full text available: PDFPDF
There is a growing interest in techniques for detecting whether a logic specification is satisfied too easily, or vacuously . For example, the specification “every request is eventually followed by an acknowledgment” is satisfied vacuously by a system that never generates any requests. Vacuous satisfaction misleads users of model-checking into ...
Keywords: Vacuity detection
[result highlights]

19
May 2007 ICSE '07: Proceedings of the 29th international conference on Software Engineering
Publisher: IEEE Computer Society
Bibliometrics:
Citation Count: 28
Downloads (6 Weeks): 1,   Downloads (12 Months): 4,   Downloads (Overall): 563

Full text available: PDFPDF
Synthesis of behaviour models from software development artifacts such as scenario-based descriptions or requirements specifications not only helps significantly reduce the effort of model construction, but also provides a bridge between approaches geared toward requirements analysis and those geared towards reasoning about system design at the architectural level. However, the ...
[result highlights]

20
November 2000 CASCON '00: Proceedings of the 2000 conference of the Centre for Advanced Studies on Collaborative research
Publisher: IBM Press
Bibliometrics:
Citation Count: 2
Downloads (6 Weeks): 0,   Downloads (12 Months): 2,   Downloads (Overall): 362

Full text available: PDFPDF
Faster, better networks algorithms are often being discovered, and it is desirable to be able to replace an old algorithm by a new in a manner that is completely transparent to the application using it. This paper investigates the technique for ensuring such transparency for protocols expressed in SDL, via ...
[result highlights]

Result 1 – 20 of 112
Result page: 1 2 3 4 5 6



The ACM Digital Library is published by the Association for Computing Machinery. Copyright © 2019 ACM, Inc.
Terms of Usage   Privacy Policy   Code of Ethics   Contact Us