Multifunctional software systems: Structured modeling and specification of functional requirements (Q608340): Difference between revisions

@@ Property / DOI @@
-.1016/j.scico.2010.06.007
@@ Property / DOI: 10.1016/j.scico.2010.06.007 / rank @@
-Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.scico.2010.06.007
+Normal rank
@@ Property / OpenAlex ID @@
+W2058776028
@@ Property / OpenAlex ID: W2058776028 / rank @@
+Normal rank
@@ Property / cites work @@
+An algebraic foundation for automatic feature-based program synthesis
+Normal rank
@@ Property / cites work @@
+Specification and Development of Interactive Systems
+Normal rank
@@ Property / cites work @@
+Formal Techniques for Networked and Distributed Systems - FORTE 2003
+Normal rank
@@ Property / cites work @@
+A semantic and methodological essence of message sequence charts
+Normal rank
@@ Property / cites work @@
+Q4738866
@@ Property / cites work: Q4738866 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2729918
@@ Property / cites work: Q2729918 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.SCICO.2010.06.007
@@ Property / DOI: 10.1016/J.SCICO.2010.06.007 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:608340