SPL
2
go
projects
upload
about
You can edit this project here. Please include a reason for your changes. This helps us to validate the changes. The changes will take effect as soon as possible after we have checked their validity.
Elevator jml
Short description
Description
Version of the Elevator product line in Java with behavior specifications in JML. Product line is based on http://spl2go.cs.ovgu.de/projects/16
Generator
Authors
Institution
Language
Development tool
Number of features
Lines of code
Number of classes
Number of products
Repository
Website
License
Reason for change
Email: (not visible)
Initial date
Please type the abbreviation for software product line:
Back