: Das Konzept des Internet der Dinge überträgt die Verantwortung für Routing und Servicefunktionen in die Ausführungsebene der heutigen Materialflusssteuerung. Ziele dieses neu...
: Der Ansatz der modellgetriebenen Softwareentwicklung fokussiert die Entwicklung von Software durch deren Modellierung und einer anschließenden Transformation auf den Quellcode d...
Stefan Link, Thomas Schuster, Philip Hoyer, Sebast...
Abstract: Wikis, Blogs und soziale Netze sind in wenigen Jahren von Randerscheinungen des Internet zu Motoren des Web 2.0 aufgestiegen. Die für die heutige Studentenschaft zunehme...
: Dieses Paper erläutert einen prototypischen Ansatz für die automatisierte Verwendung strukturierter Pattern-Sprachen als EntwurfsHilfsmittel zur Erstellung grafischer Benutzung...
ACL2 is the latest inception of the Boyer-Moore theorem prover, the 2005 recipient of the ACM Software System Award. In the hands of an expert, it feels like a finely tuned race ...
Peter C. Dillinger, Panagiotis Manolios, Daron Vro...