Sciweavers

2487 search results - page 94 / 498
» Collaborative Engineering Software Development: Ontology-Bas...
Sort
View
118
Voted
WCRE
2008
IEEE
15 years 9 months ago
Representing and Integrating Dynamic Collaborations in IDEs
Static views of object-oriented source code as presented in a development environment (IDE) do not provide explicit representations of dynamic collaboration to describe how source...
David Röthlisberger, Orla Greevy
112
Voted
WOSP
2000
ACM
15 years 7 months ago
A pattern-based approach to model software performance
In this paper we present a formal approach to analyse performance for distributed systems, which is integrated in the early stages of the software development process. We propose ...
José Merseguer, Javier Campos, Eduardo Mena
125
Voted
ESE
2008
88views Database» more  ESE 2008»
15 years 2 months ago
Cooperative method development
The development of methods tools and process improvements is best to be based on the understanding of the development practice to be supported. Qualitative research has been propo...
Yvonne Dittrich, Kari Rönkkö, Jeanette E...
149
Voted
FMAM
2010
223views Formal Methods» more  FMAM 2010»
15 years 19 days ago
Agile Formality: A Mole of Software Engineering Practices
: Members of the agile programming and formal methods communities do not always see eye-to-eye. These two communities often do not talk to or learn from each other. Only recently, ...
Vieri del Bianco, Dragan Stosic, Joseph R. Kiniry
155
Voted
JFP
2007
126views more  JFP 2007»
15 years 2 months ago
Engineering Software Correctness
Software engineering courses offer one of many opportunities for providing students with a significant experience in declarative programming. This report discusses some results fr...
Rex L. Page