.o FriasEtal05
 Marcello F Frias & Carlos G Lopez Pombo & Gabriel A Baum & Nazareno M Aguirre & Thomas S E Maibaum 
 Reasoning about static and dynamic properties inAlloy: A Purely Relational Approach
 ACM TOSEM Trans Software Eng & Methodology V14n4(Oct 2005)pp478-526   
 =THEORY EQUATIONALREALTIONAL LOGIC HOARE TRIPLES FORK ALGEBRA FRL
 A 
.Key fork algebra
 is based on a set that has a pairing operation (`p`) that is used to define a `fork` operation on relations:
  fork ::infix=map[R,S] rel[a,d](for some b,c (d=p(b,c) and a R b and a S c)).
.c

.o Butov05
 Andrey Butov 
 XML-Binary optimized packaging
 Dr. Dobbs #379(Dec 2005)pp53-55   
 =ESSAY CODE  Binary XML XOP
 How to embed binary data in XML?
.c

.o Schraml05
 Todd Schraml 
 Table patterns and changing data: dealing with history in relational databases
 Dr. Dobbs #379(Dec 2005)pp14+16+18+20-21   
 =DEMO DATA HISTORY AUDIT  
 Four ways to record changes as well as current data:  functional history, row-level audit, column-level audit, & ledger
.c

.o LauLawWiederhold05
 Gloria T Lau & Kincho H Law & Gio Wiederhold 
 Analyzing government regulations using stuctural and domain information
 IEEE Computer Magazine  V38n12(Dec 2005)pp70-76   
 =ADVERT Regnet DOCUMENT STRUCTURE GOVERNMENT RULES DOMAIN ONTOLOGIES SIMILARITY METRIC ADAAG UFAS
 Regnet::=http://eig.stanford.edu/regnet.  
.c

.o AugustinePayneSencindiverWoodcock05
 Sanjiv Augustine & Bob Payne & Fred Sencindiver & Susan Woodcock 
 Agile Project Management: Steering from the edges.
 Commun ACM V48n12(Dec 2005)pp85-89   
 =ADVERT AGILE PROJECT MANAGEMENT APM COMPLEXITY XP
 APM ::= "Agile Project Management".  
 Agile methods rescue a medium sized project in 2002.
 Lists: 6 practices, 7 changes, 6 new activities, 6 innovations,  7  difficulties.
 sidebar p87 describes complex adaptive systems ( CAS  ).
.c

.o Doernhoefer05
 Mark Doernhoefer
 Surfing the Net for  Software Engineering Notes: service oriented architecture 
 ACM SIGSOFT Software Engineering Notes V30n6(Nov 2005)pp5-13
.See http://www.acm.org/sigsoft/SEN/   
 =SURVEY WEB SERVICES SOA  XML Sun BEA IBM ESB .NET CBD OASIS TOGAF ADM OWASP WS-I W3C
 Notes 
.c