Automating object-oriented software development methods

DOI10.1007/3-540-47853-1_4MaRDI QIDQ4738857zbMATH OpenFDO

Authors Bedir Tekinerdoğan, M. Saeki, Gerson Sunyé, Pim van Den Broek, Pavel Hruby

Publication date 11 August 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2323/23230041.htm, https://ris.utwente.nl/ws/files/247145176/Tekinerdogan2002automating.pdf

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Computing methodologies and applications (68U99)

Recommendations

• scientific article; zbMATH DE number 2009988
• scientific article; zbMATH DE number 986427
• Object organisation in software environments for formal methods
• scientific article; zbMATH DE number 945285
• scientific article; zbMATH DE number 48043

Cited in

(4)

• scientific article; zbMATH DE number 5129259 (Why is no real title available?)
• scientific article; zbMATH DE number 2009988 (Why is no real title available?)
• scientific article; zbMATH DE number 2009989 (Why is no real title available?)
• On Automation of OTS/CafeOBJ Method

This page was built for publication: Automating object-oriented software development methods

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4738857)