[CSUSB] >> [CNS] >> [Comp Sci] >> [R J Botting] >> newb1201
[Index] || [Blog] || [Research] Tue Dec 2 10:50:58 PST 2003

XieEngler03

GurfinkelChechikDevereux03

Arie Gurfinkel & Marsha Chechik & Benet Devereux
Temporal Logic Query Checking: A Tool for Model exploration
IEEE Trans Software Engineering V29n10(Oct 2003)pp898-914
Based on GurfinkelDevereuxChechik02
=IDEA MODAL TEMPORAL LOGIC CTL Placeholders DeMorgan Algebra TLQSolver \chi\_Chek Cruise control SCR CSCI656
Instead of checking a CTL for truth/falsity: compute the formula that "fill in the blanks" in a CTL formula:
AG(?1) -- what is always and forever true?
AX(?1{p,q}) -- what formula on p and q (only) is always true in the next step?
AG(?1 /\ AX?2) -- what pair of formulas ...

Jianwei Niu & Joanne M Attlee & Nancy A Day
Template Semantics for Model-Based Notations
IEEE Trans Software Engineering V29n10(Oct 2003)pp866-882
=FORMAL SEMANTICS DYNAMIC MODELS CSP CCS LOTOS BTS SDL88 RSML STATECHARTS SCR Petri TOOLS OPERATIONAL microstep macrostep
See NiuAtleeDay02

Martin Campbell-Kelly
From Airline reservations to Sonic the Hedgehog: A history of the software industry
MIT Press Cambridge MA 2003 ISBN 0262033038 CR 0308-0762
=HISTORY SOFTWARE ECONOMICS
Three main sectors: contractors, makers of corporate software, producers for the mass market.
Many diverse products and markets.

David Garlan & Shang Cheng & Andrew J Kompanek
Reconciling the needs of architectural description with object-modeling notations
Science of Computer Programming V44n1(Jul 2002)pp23-49
=ESSAY? MODULES ARCHITECTURE UML REAL-TIME