Sciweavers

561 search results - page 47 / 113
» Research in Software Engineering: Paradigms and Methods
Sort
View
ICRE
2000
IEEE
14 years 1 months ago
Requirements Documentation: Why a Formal Basis is Essential
Unless you have a complete and precise description of your product’s requirements, it is very unlikely that you will satisfy those requirements. A requirements document that is ...
David Lorge Parnas
IWFM
1998
125views Formal Methods» more  IWFM 1998»
13 years 10 months ago
Mathematics for Formal Methods, a Proposal for Education Reform
It is widely recognized that there is a body of mathematics which is crucial to the underpinning of computer science, software engineering, and information and communications tech...
Mícheál Mac an Airchinnigh
IWPC
2002
IEEE
14 years 1 months ago
Fused Data-Centric Visualizations for Software Evolution Environments
During software evolution, several different facets of the system need to be related to one another at multiple levbstraction. Current software evolution tools have limited capabi...
Jens H. Jahnke, Hausi A. Müller, Andrew Walen...
ICSE
2008
IEEE-ACM
14 years 9 months ago
Fostering user-developer collaboration with infrastructure probes
In this paper we present a new variation of cultural probes, called Infrastructure Probes (IP). IPs can be seen as an additional ethnographic method to get a deeper understanding ...
Christian Dörner, Jan Heß, Volkmar Pipe...
IPPS
2007
IEEE
14 years 3 months ago
The Next Generation Software Workshop - IPDPS'07
This workshop provides a forum for an overview, project presentations, and discussion of the research fostered and funded initially by the NSF Next Generation Software (NGS) Progr...
Frederica Darema