308 search results - page 22 / 62 » Writing as a Tool for Learning Software Engineering |
115
Voted
CSCW
2004
ACM
15 years 5 months ago
2004
ACM
The lack of lightweight communication channels and other technical and sociological difficulties make it hard for new members of a non-collocated software development team to lea...
ICSE
1994
IEEE-ACM
15 years 4 months ago
1994
IEEE-ACM
We describe three case studies in the use of Basic LOTOS. The studies cover design recovery, requirements speci cation, and design activities. We also report lessons learned from ...
103
click to vote
FSTTCS
2010
Springer
14 years 10 months ago
2010
Springer
This article is a survey of developments in algorithmic convex geometry over the past decade. These include algorithms for sampling, optimization, integration, rounding and learni...
131
click to vote
ASPLOS
2011
ACM
14 years 4 months ago
2011
ACM
This paper presents S2E, a platform for analyzing the properties and behavior of software systems. We demonstrate S2E’s use in developing practical tools for comprehensive perfo...
INDIASE
2009
ACM
15 years 5 months ago
2009
ACM
We present an approach to automating some of the quality assurance review of software requirements documents, and promoting best practices for requirements documentation. The syst...