I-Logix
software development company
I-Logix was a provider of collaborative Model-driven development (MDD) solutions for systems design and software development, particularly focused on real-time embedded applications. Founded in 1987 and based in Andover, Massachusetts, the company specialized in products that facilitated collaboration among engineers working on embedded systems. Additionally, I-Logix was a member of the UML Partners, a consortium dedicated to the development of the Unified Modeling Language (UML).
History
I-Logix was originally founded in Israel as AdCad Ltd. in April 1984 by David Harel, Amir Pnueli, and brothers Ido and Hagi Lachover. The company's mission was to develop and commercialize a tool to support statecharts and their execution, building on the pioneering work of David Harel at the Weizmann Institute of Science. Harel had conceived the concept of statecharts while working as a consultant on the Lavi Aircraft project for Israel Aerospace Industries. He was tasked with developing a clear method for designing and defining the aircraft's avionics systems, leading to the creation of statecharts and the supporting tool.
In 1986, the company completed the development of a software tool for statecharts called Statemate. At the core of a Statemate model was a functional decomposition controlled by statecharts, allowing users to draw statecharts and other model artifacts, check and analyze them, produce documents, and manage configurations and versions.
The public source identifies “I-Logix” as software development company. This brief keeps that definition visible, then builds a research path around I-Logix, software and development.
Why this record matters
A short description can identify a subject without explaining its stakes. For “I-Logix”, the useful work is to connect “software development company” to the records capable of establishing context and consequence.
The date and method of observation matter as much as the stated conclusion, especially where classification or consensus has changed. The source revision retrieved here is dated Sep 3, 2026. The linked authority identifier is Q17063215. 1 of 1 selected statements include explicit references; 0 carry qualifiers and 0 use preferred rank. The first chronological checks are 1987, 1984 and 1986.
A general summary may omit uncertainty, sample limits or methodological disagreement that is explicit in the technical record. The lead is largely declarative, so disagreement and counter-evidence require a deliberate search beyond the opening account. Authority statements aid reconciliation but still require their own references, qualifiers and ranks to be checked.
How to read it
Check terminology, classification and the date of the cited evidence. Scientific names and technical consensus can change while older records retain historical value.
- Current terminology
- Classification context
- Finding cited technical literature
Primary datasets, specimen catalogues, standards bodies and the most recent peer-reviewed literature.
Three-step research path
- Establish the record: confirm the title “I-Logix”, its source revision and the description used here.
- Expand the search: follow I-Logix primary sources, I-Logix archive and I-Logix research across catalogues and specialist indexes.
- Test the account: compare the strongest cited source with the responsible institution’s current record and note any disagreement.
Questions for further research
- Which source most directly establishes the central claim about “I-Logix”?
- Is the terminology current, historical or disputed?
- Has classification or technical consensus changed since the cited source?
Search terms from this dossier
This entry incorporates text from “I-Logix” on English Wikipedia. Contributors are listed in the page history. Text is available under the Creative Commons Attribution-ShareAlike 4.0 License. Selected authority identifiers and statements are retrieved from Wikidata under CC0; their references and qualifiers remain part of the verification path.