Sciweavers

649 search results - page 6 / 130
» Formalizing Rework in Software Processes
Sort
View
ASE
1998
152views more  ASE 1998»
13 years 7 months ago
Apel: A Graphical Yet Executable Formalism for Process Modeling
Software process improvement requires high level formalisms for describing project-specific, organizational and quality aspects. These formalisms must be convenient not only for ...
Samir Dami, Jacky Estublier, Mahfoud Amiour
FM
2009
Springer
171views Formal Methods» more  FM 2009»
14 years 2 months ago
Formal Management of CAD/CAM Processes
Abstract. Systematic engineering design processes have many aspects in common with software engineering, with CAD/CAM objects replacing program code as the implementation stage of ...
Michael Kohlhase, Johannes Lemburg, Lutz Schrö...
MAGS
2008
114views more  MAGS 2008»
13 years 7 months ago
Automated formal analysis of human multi-issue negotiation processes
This paper reports on experiments in (human) multi-issue negotiation and their analysis, and presents a generic software environment supporting such an analysis. First, the paper p...
Tibor Bosse, Catholijn M. Jonker, Lourens van der ...
HICSS
2006
IEEE
120views Biometrics» more  HICSS 2006»
14 years 1 months ago
Reconciling the Irreconcilable? A Software Development Approach that Combines Agile with Formal
Unstable software requirements are common and call for Agile practices. On the other hand, quality standards and recommendations, to which companies must adhere to play in selecte...
José Gonçalo A. Oliveira Basto da Si...
FM
1998
Springer
153views Formal Methods» more  FM 1998»
13 years 11 months ago
VSE: Controlling the Complexity in Formal Software Developments
We give an overview of the enhanced VSE system which is a tool to formally specify and verify systems. It provides means for structuring speci cations and it supports the developme...
Dieter Hutter, Heiko Mantel, Georg Rock, Werner St...