Systems analysis of life cycle of large-scale information-control systems (Q386928): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+A15
@@ Property / Mathematics Subject Classification ID: 93A15 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6237378
@@ Property / zbMATH DE Number: 6237378 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Specware
@@ Property / describes a project that uses: Specware / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q124972913
@@ Property / Wikidata QID: Q124972913 / rank @@
+Normal rank
@@ Property / cites work @@
+Categories for Software Engineering
@@ Property / cites work: Categories for Software Engineering / rank @@
+Normal rank
@@ Property / cites work @@
+Evolving Algebras 1993: Lipari Guide
@@ Property / cites work: Evolving Algebras 1993: Lipari Guide / rank @@
+Normal rank
@@ Property / cites work @@
+Q3727946
@@ Property / cites work: Q3727946 / rank @@
+Normal rank
@@ Property / cites work @@
+A categorical manifesto
@@ Property / cites work: A categorical manifesto / rank @@
+Normal rank
@@ Property / cites work @@
+Institutions: abstract model theory for specification and programming
+Normal rank
@@ Property / cites work @@
+Q3996846
@@ Property / cites work: Q3996846 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4355684
@@ Property / cites work: Q4355684 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5398240
@@ Property / cites work: Q5398240 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2999052
@@ Property / cites work: Q2999052 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1134/s0005117913090075
+Normal rank
@@ Property / OpenAlex ID @@
+W2015165360
@@ Property / OpenAlex ID: W2015165360 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:386928