Suchergebnisse - Software and civil engineering Software notations and tools System description languages

Multiclock Constraint System Modelling and Verification for Ensuring Cooperative Autonomous Driving Safety von Zhu, Yi, Huang, Xiaowei, Huang, Zhiqiu, Wang, Jinyong, Wang, Fei

“… CADS (cooperative autonomous driving systems) are software-intensive and safety-critical reactive systems and give great promise to our daily life, but system …”
Volltext

Experience from introducing Unified Modeling Language/Systems Modeling Language at Saab Aerosystems von Andersson, Henric, Herzog, Erik, Johansson, Gert, Johansson, Olof

“… A Unified Modeling Language/Systems Modeling Language (UML/SysML) subset was the modeling notation selected for an aerospace systems engineering project at Saab Aerosystems …”
Volltext

Modeling Languages for Internet of Things (IoT) Applications: A Comparative Analysis Study von Arslan, Sadik, Ozkaya, Mert, Kardas, Geylani

“… : language definition, language features, and tool support. Some key findings are as follows …”
Volltext

PTGL—a web-based database application for protein topologies von May, Patrick, Barthel, Stefan, Koch, Ina

“… Protein topologies can be derived at different description levels considering α- and β-structures. The on-line search tool is based on an object-relational database …”
Volltext