Previous
[ newb0102.html ]
FriasEtal05
- Marcello F Frias & Carlos G Lopez Pombo & Gabriel A Baum & Nazareno M Aguirre & Thomas S E Maibaum
- Reasoning about static and dynamic properties in Alloy: A Purely Relational Approach
- ACM TOSEM Trans Software Eng & Methodology V14n4(Oct 2005)pp478-526
- =THEORY EQUATION RELATIONAL LOGIC HOARE TRIPLES FORK ALGEBRA FRL
- A
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)).
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?
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
LauLawWiederhold05
- Gloria T Lau & Kincho H Law & Gio Wiederhold
- Analyzing government regulations using structural and domain information
- IEEE Computer Magazine V38n12(Dec 2005)pp70-76
- =ADVERT Regnet DOCUMENT STRUCTURE GOVERNMENT RULES DOMAIN ONTOLOGIES SIMILARITY METRIC ADAAG UFAS
- Regnet::= See http://eig.stanford.edu/regnet.
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 ).
Doernhoefer05
- Mark Doernhoefer
- Surfing the Net for Software Engineering Notes: service oriented architecture
- ACM SIGSOFT Software Engineering Notes V30n6(Nov 2005)pp5-13
[ http://www.acm.org/sigsoft/SEN/ ]
[ 1102107.1102116 ]
- =SURVEY WEB SERVICES SOA XML Sun BEA IBM ESB .NET CBD OASIS TOGAF ADM OWASP WS-I W3C
- SOA::="Service Oriented Architecture".