History of
by-topic
/
Formal Specification
/
commentary
@master
git clone https://git.catseye.tc/The-Glosscubator/
-
Add a book about the formalization of architecture, not yet rated.
Chris Pressey
8 months ago
-
Remove placeholders that are no longer needed with Feedmark 0.16.
Chris Pressey
10 months ago
-
Extract ratings to own files.
Chris Pressey
1 year, 12 days ago
-
Rename commentary files.
Chris Pressey
1 year, 12 days ago
-
Fix availability of one book and rate it and (kinda) gloss it.
Chris Pressey
1 year, 4 months ago
-
Add 3 papers and 2 web pages, Requirements and Model Checking.
Chris Pressey
1 year, 4 months ago
-
Add four web pages, on various topics.
Chris Pressey
1 year, 5 months ago
-
Add some notes on a collection of conference proceedings.
Chris Pressey
1 year, 5 months ago
-
Add a Formal Semantics paper.
Chris Pressey
1 year, 7 months ago
-
Rename Specification category to Formal Specification.
Chris Pressey
1 year, 7 months ago