Autor: Immanuel Sims
-
Gute Anwendungsfälle für formale Architekturverifikation
von
in Beweis, diga, Digitale Gesundheitsanwendung, ePA, ePA für alle, formal architecture verification, formale architekturverifikation, formale verification, formale verifikation, gematik, Gesundheit, gesundheitsanwendung, Gesundheitsheitswesen, KIS, LIS, Medizin, medizinprodukt, QA, QS, Qualitätssicherung, TLA+Wir haben formale Architekturverifikation als überraschend günstiges, effektives und breit einsetzbares Werkzeug der Qualitätssicherung entdeckt. TLA+ ist eine der verbreiteten Technologien in dem Kontext. Man sollte sich nicht von der etwas alt anmutenden Projektwebseite abschrecken lassen. Amazon hat zum Beispiel TLA+ für DynamoDB eingesetzt und andere große Firmen nutzen es, seitdem wie davor, auch immer wieder.…
-
Manager, setzt auf Kotlin! Über Ängste und geniale Vorteile.
von
Jedes einzelne Mal, wo ich Kotlin statt Java eingesetzt habe, habe ich es genossen. Kein einziges Mal habe ich es bereut. Trotzdem stoße ich immer wieder auf Ängste und Hemmungen, Kotlin einzusetzen – sowohl bei Managern als auch bei Entwicklern. In diesem Blogpost möchte ich Ihre Ängste als Manager in Bezug auf Kotlin besprechen. Gleichermaßen…
-
Skalierbare Hochverfügbarkeitscluster mit JBoss AS 7 und EAP 6
von
in akquinet, AS 7, as7, cluster, cluster environments, cluster structures, clustering, eap, EAP 6, EAP6, enterprise-it, ha, high availability, Java, Java EE, JBOSS, scalableThis post in English Übersicht Im kürzlich erschienenen Blog-Post Clustering im JBoss AS 7/EAP 6 haben wir gezeigt, wie in der neuen EAP 6 und im JBoss AS 7 einfaches Clustering verwendet werden kann. Die EAP 6 ist im Grunde genommen ein AS 7 mit offiziellem RedHat-Support. Der Cluster, den wir in diesem Post verwendet…
-
Clustering im JBoss AS 7 und EAP 6
von
in as7, cluster, clustering, EAP 6, EAP6, EJB, fail over, ha, high availability, Infinispan, Java, Java EE, JBOSS, JGroups, mod_cluster, RedhatThis post in English Übersicht Die Möglichkeit verschiedene Server zu einem Cluster zu kombinieren, der seine internen Server vor den Clients verbirgt und eine virtuelle Plattform für eine Anwendung zur Verfügung stellt, ist für Geschäftsanwendungen wichtig. Clustering wird verwendet, um u. a. Folgendes zu erreichen: Hohe Skalierbarkeit, indem dem Cluster günstige Rechnerressourcen auf Nachfrage hinzugefügt…
Du muss angemeldet sein, um einen Kommentar zu veröffentlichen.