Sciweavers

286 search results - page 23 / 58
» Agile Formality: A Mole of Software Engineering Practices
Sort
View
AGILEDC
2003
IEEE
15 years 11 months 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
16 years 2 days 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
15 years 10 months 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
15 years 10 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
156
Voted
APSEC
1997
IEEE
15 years 10 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