Chief Software Architect

Congratulations to Levi Starrett upon his promotion to Chief Software Architect. Levi is responsible for the structure and technology of BridgePoint.  And will… Research and choose technologies for implementation (such as Java, EMF, Eclipse, Xtext, Python, M2M). Define and maintain interfaces between modules in the tooling. Freshen the technology in a manner that is “Incremental,
-> Continue reading Chief Software Architect

Einstein’s Riddle Solved

The previous post posed Einstein’s Riddle and supplied a class diagram to abstract the information. Here is the solution in BridgePoint running Verifier.  In the Session Explorer to the left, you can see the instances of ‘owner’ and the links to the correct instances of each of ‘house’, ‘pet’, ‘tobacco’ and ‘beverage’. Here is a
-> Continue reading Einstein’s Riddle Solved

Symmetric Difference

The symmetric difference (disjunctive union/disunion) of sets A and B (A ^ B) is the set of all elements that are in set A or in set B but not both. Symmetric difference is also commutative, meaning A ^ B == B ^ A.

New Model

We are happy to welcome Ezra, son of Levi, as the most recent addition to the One Fact team and the xtUML modeling community.  He was born January 21 weighing 7 pounds 1 ounce and 21 inches long.


MT-CPS’18 3d International Workshop on Monitoring and Testing of Cyber-Physical Systems Porto, Portugal, USA 10 April 2018 Co-located with CPS Week DESCRIPTION Cyber-physical systems (CPS) are integrations of heterogeneous collaborative entities that interact among themselves and with their physical environment. CPS exhibit complex and unpredictable behaviors, thus making their correctness and robustness analysis a
-> Continue reading MT-CPS’18