It'sWeb (Integrated Techniques for the Semantic Web)
QUEST (A Quest for Reliability in Generic Software Components)
Design by Contract (Contract Guided System Development)