Tag Archives: abstraction level

Splitting the Requirements Atom

Atomicity is considered an important property of requirements. However, if we take a deeper look, we see the concept of atomicity lacks in rigour. Is e.g. the atomicity concept of Logic suitable here? Continue reading

Posted in Requirements | Tagged , , , , , , , , , , , | Leave a comment

Rich World – Poor Models

How can an inherently complex reality be mapped to formal models? Comprising the context and choosing the right abstractions can help. Continue reading

Posted in Software_Engineering | Tagged , , , , , , , , , , , , , , | 4 Comments