Editing Universal Systems Language
Appearance
Content that violates any copyrights will be deleted. Encyclopedic content must be verifiable through citations to reliable sources.
Latest revision | Your text | ||
Line 6: | Line 6: | ||
Certain correctness guarantees are embedded in the USL grammar.<ref>Dolha, Steve, Chiste, Dave, "A Remote Query System for the Web: Managing the Development of Distributed Systems.", Chapter 32, Internet Management, Editor Jessica Keyes, Auerbach, 2000.</ref> |
Certain correctness guarantees are embedded in the USL grammar.<ref>Dolha, Steve, Chiste, Dave, "A Remote Query System for the Web: Managing the Development of Distributed Systems.", Chapter 32, Internet Management, Editor Jessica Keyes, Auerbach, 2000.</ref> |
||
USL is regarded by some users as more [[usability|user-friendly]] than other formal systems.<ref>Krut, Jr., B., "[https:// |
USL is regarded by some users as more [[usability|user-friendly]] than other formal systems.<ref>Krut, Jr., B., "[https://web.archive.org/web/20130626171923/http://www.dtic.mil/cgi-bin/GetTRDoc?AD=ADA293427 Integrating 001 Tool Support in the Feature-Oriented Domain Analysis Methodology]" (CMU/SEI-93-TR-11, ESC-TR-93-188), Pittsburgh, SEI, Carnegie Mellon University, 1993.</ref> It is not only a formalism for software, but also defines [[ontology (information science)|ontologies]] for common elements of problem domains, such as physical space and event timing. |
||
==Formalism for a theory of control== |
==Formalism for a theory of control== |