GeoVerse Lab
← GeoVerse System Administration Division

Software Engineering & Development Center

Develops and curates research software as first-class artifacts: complete verified packages (GeoCode), micro-function blocks (GeoHub), verified numerical modules (GeoSDK), agent-executable knowledge blocks (GeoShelf), and GitHub research-code reproduction (GeoStream) — establishing taxonomy, verification gates, and provenance/lineage standards distinct from database operations (DBS) and application runtime operations (APP).

Infrastructure & Cloud Operations CenterDatabase & Knowledge Systems CenterAI Operations & Automation CenterCybersecurity & Compliance CenterApplication & Simulation Operations CenterMeta-Governance & Interface CenterSoftware Engineering & Development Center
Research Fields 18
Formal Verification & Separation Logic
🔒 Formal Verification & Separation Logic
Formal verification establishes that a program satisfies its specification by mathematical…
Model Checking & Temporal Logic Verification
🔍 Model Checking & Temporal Logic Verification
Model checking is an automatic verification technique that determines whether a finite-sta…
Programming Language Semantics & Abstract Machines
📐 Programming Language Semantics & Abstract Machines
Programming language semantics gives a mathematically precise answer to what a program mea…
Program Synthesis & Deductive Correctness Derivation
🧮 Program Synthesis & Deductive Correctness Derivation
Deductive program synthesis constructs a program together with a proof of its correctness …
Structured Programming & Control-Flow Discipline
🔀 Structured Programming & Control-Flow Discipline
Structured programming is the discipline of composing programs from a small fixed set of c…
Cleanroom Software Engineering & Statistical Process Discipline
🧼 Cleanroom Software Engineering & Statistical Process Discipline
Cleanroom software engineering, developed by Harlan Mills and colleagues at IBM's Federal …
Software Science & Complexity Measurement
📏 Software Science & Complexity Measurement
Software science, formulated by Maurice Halstead in the 1970s, is the first quantitative t…
Code Review, Inspection & Peer-Review Culture
👥 Code Review, Inspection & Peer-Review Culture
This field studies how the human process of peer review finds defects and improves code, t…
Software Testing Theory & Defect Taxonomy
🧪 Software Testing Theory & Defect Taxonomy
Software testing theory is the systematic study of how to choose, execute and evaluate tes…
Software Reliability Engineering
📈 Software Reliability Engineering
Software reliability engineering quantifies the probability that software will operate wit…
Software Development Lifecycle & Process Models
🪜 Software Development Lifecycle & Process Models
Software lifecycle engineering analyses how development should be organised in time: which…
Software Packaging & Modular Subroutine Libraries
📦 Software Packaging & Modular Subroutine Libraries
Software packaging is the discipline of assembling programs from independently written, in…
Verified Numerical Software Engineering
🔢 Verified Numerical Software Engineering
Verified numerical software engineering is the discipline that demands numerical algorithm…
Programming Language & Software Component Taxonomy
🗂️ Programming Language & Software Component Taxonomy
Software taxonomy is the systematic classification of software artifacts — languages, comp…
Software Component Reuse & Componentry
🧱 Software Component Reuse & Componentry
Component-based software engineering treats software modules as manufactured, catalogued, …
Agent-Executable Knowledge Representation & Planning Blocks
🤖 Agent-Executable Knowledge Representation & Planning Blocks
This field designs formal representations of action that let an autonomous agent select an…
Documentation Science & Information Provenance
📜 Documentation Science & Information Provenance
Documentation science is the study of documents as evidence: how objects — texts, but also…
Program Complexity Metrics & Control-Flow Graph Analysis
🕸️ Program Complexity Metrics & Control-Flow Graph Analysis
Control-flow graph analysis measures program complexity by modelling code as a graph — nod…