Sciweavers

286 search results - page 23 / 58
» Agile Formality: A Mole of Software Engineering Practices
Sort
View
AGILEDC
2003
IEEE
14 years 28 days ago
It's More than Just Toys and Food: Leading Agile Development in an Enterprise-Class Start-Up
One of the myths of Agile Development is that selforganizing teams do not need direction. The agile development movement focuses primarily on programmers – programmers should do...
Joseph A. Blotner
ICFEM
2007
Springer
14 years 1 months ago
Formal Engineering of XACML Access Control Policies in VDM++
We present a formal, tool-supported approach to the design and maintenance of access control policies expressed in the eXtensible Access Control Markup Language (XACML). Our aim is...
Jeremy Bryans, John S. Fitzgerald
ADAEUROPE
2001
Springer
14 years 4 days ago
Building Formal Requirements Models for Reliable Software
Requirements engineering (RE) is concerned with the elicitation of the goals to be achieved by the system envisioned, the operationalization of such goals into specifications of se...
Axel van Lamsweerde
ICRE
2000
IEEE
14 years 15 hour 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
APSEC
1997
IEEE
13 years 12 months ago
A Formal Operational Semantics for SOFL
SOFL (Structured-Object-Based-Formal Language) is a formal language and method for practical systems development. As a language, it integrates data ow diagrams, VDM-SL, and Petri ...
Chris Ho-Stuart, Shaoying Liu