✦ LIBER ✦

A Case Study in JML-Assisted Software Development

✍ Scribed by Néstor Cataño; Fernando Barraza; Daniel García; Pablo Ortega; Camilo Rueda

Book ID: 108127095
Publisher: Elsevier Science
Year: 2009
Tongue: English
Weight: 316 KB
Volume: 240
Category: Article
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2009.05.042

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Software development for cim — a case st

Software development for cim — a case study

✍ Z Kouba; J Lažansky; V Marik; G Quirchmayr; W Retschitzegger; T Vlcek; R Wagner 📂 Article 📅 1992 🏛 Elsevier Science ⚖ 985 KB

Lean Software Development: Two Case Stud

Lean Software Development: Two Case Studies

✍ Peter Middleton 📂 Article 📅 2001 🏛 Springer US 🌐 English ⚖ 203 KB

Uncertainty Modelling in Software Develo

Uncertainty Modelling in Software Development Projects (With Case Study)

✍ Linet Özdamar; Ebru Alanya 📂 Article 📅 2001 🏛 Springer US 🌐 English ⚖ 142 KB

A Case Study in Software Reuse

✍ Edward Addy; Ali Mili; Sherif Yacoub 📂 Article 📅 1999 🏛 Springer US 🌐 English ⚖ 206 KB

Object-oriented versus conventional soft

Object-oriented versus conventional software development: A comparative case study

✍ W Pree; G Pomberger 📂 Article 📅 1992 🏛 Elsevier Science ⚖ 553 KB

Restructuring Software: A Case Study

✍ T. R. HOPKINS 📂 Article 📅 1996 🏛 John Wiley and Sons 🌐 English ⚖ 800 KB

We use knot count and path count metrics to identify which routines in the Level 1 basic linear algebra subroutines (BLAS) might benefit from code restructuring. We then consider how logical restructuring and the improvements in the facilities available from successive versions of Fortran have allow