Stem then$ (all stems)

11 papers:

IFM-2013-Abrial #proving #source code

From Z to B and then Event-B: Assigning Proofs to Meaningful Programs (JRA), pp. 1–15.

RE-2013-Gorschek #requirements

A little rebellion now and then is a good thing: Views on the requirements engineering conference (TG), pp. 357–360.

ICST-2013-LinD #concurrent #java

CHECK-THEN-ACT Misuse of Java Concurrent Collections (YL, DD), pp. 164–173.

PLDI-2012-BaconCS #configuration management #garbage collection #hardware #realtime

And then there were none: a stall-free real-time garbage collector for reconfigurable hardware (DFB, PC, SS), pp. 23–34.

CHI-2012-FourneyLMT #documentation #exclamation #interface #online #quote

“Then click ok!”: extracting references to interface elements in online documentation (AF, BL, RM, MAT), pp. 35–38.

SLE-2009-Bezivin #problem #question #what

If MDE Is the Solution, Then What Is the Problem? (JB), p. 2.

DAC-2004-RawatJJDGPMHS

Were the good old days all that good?: EDA then and now (SR, WHJJ, JAD, DG, POP, HDM, CH, JS), p. 543.

SAC-2000-TemmeF #composition #fuzzy #standard

Fix-Mundis for Fuzzy IF-THEN Rule Bases with Standard Compositional Rule of Inference Interpretation (KHT, MF), pp. 529–533.

CADE-1998-Beeson #unification #λ-calculus

Unification in Lambda-Calculi with if-then-else (MB), pp. 103–118.

ICALP-1993-MignosiS

If a D0L Language is k-Power Free then it is Circular (FM, PS), pp. 507–518.

CSL-1992-Schiermeyer #satisfiability

Solving 3-Satisfiability in Less Then 1, 579n Steps (IS), pp. 379–394.