.o New Items March 18th . ScottRosenberg01? .st Kendall Scott & Doug Rosenberg Successful Robustness Analysis Software Development Magazine V9n3(Mar 2001)pp48-51 =ADVERT UML Distinguish: Boundary, Entity and Control objects. UML stereotypes. Rules:actors tlk to boundaries ONLY, Boundaries talk to controlers and actors, entity objects tslk only to controlers, controlers talk to boundaries and entities and to other controlers but not to actors. separation of concerns. CF Adams's architectural object types and the MVC pattern. .cs . ??01 .st Many contributors Pick a Language and Language Software Development Magazine V9n3(Mar 2001)pp44-47 =OPINION LANGUAGES VB SmallTalk MVC C++ STL Prolog Java Perl "What ever I get paid for is best". "the one I designed and built myself". .cs . Farley01 .st Jim Farley Picking a Winner: .NET vs J2EE Software Development Magazine V9n3(Mar 2001)pp36-42 =COMPARISON PLATFORM Microsoft XML C# CLR Sun Java Beans JVM J2EE::="Java 2 Enterprise Edition". "Surprisingly similar". J2EE works with Windows+Linux and Solaris, .NET works with windows only. J2EE needs Java code, .NET accepts C++, VB, and C#. XML is cental to .NET and peripheral to J2EE. .cs . Haungs01 .st Jim Haungs Pair Programming on the C3 Project IEEE Computer Magazine V34n2(Feb 2001)pp118-119 =TYPE XP C3 PERFORMANCE TESTING C3::="Chrysler's Comprehensive Compensation project". Smalltalk on Gemstone object database + call COBOL for fast tax calculations. develop in VisualWorks smalltalk, then ive in Gemstone. Profiling. Tuning. Testing with pair programming .cs . ChanEtal01 .st William Chan & richard J Anderson & Paul Beame & David H Jones & David Notkin & William E Warner Optimizing symbolic Model checking for Statecharts IEEE Trans Software Engineering V27n2(Feb 2001)pp170-190, also $ICSE99 =EXPERIEMENTS FORMAL VERIFICATION REQUIREMENTS SATECHARTS GRAPHIC LOGIC OPTIMIZATION RSML TCAS II BDD Elecrical power distribution system order of magnitude improvements. .cs . JacksonWaingold01 .st Daniel Jackson & Allison Waingold Lightweight extraction of Obejct Models from Bytecode IEEE Trans Software Engineering V27n2(Feb 2001)pp156-169 also $ICSE99 =DEMO TOOL TECHNICAL Java bytecode MODEL Alloy Womble Superwomble Rose * := zero or more, ? := zero or one, ! := exactly one. ---|-> := static. womble::=http://sdg.lcs.edu/womble. .cs . DeLine01 .st Robert DeLine Avoiding Packaging Mismatch with Flaxible Packaging IEEE Trans Software Engineering V27n2(Feb 2001)pp124-143 $ICSE99 =DEMO MODULE ARCHITECTURE ware+packager NONSEQUENTIAL Allows one piece of loogic to be mapped into spreadsheet, CGI, yacc, .... Stresses use of coroutines as more flexible than procedural code. .cs . RameshJarke01 .st Balasubramaniam Ramesh & Mathias Jarke Toward Reference Models for Requirements Traceability IEEE Trans Software Engineering V27n1(Jan 2001)pp58-93 =POLL TOOLs REQUIREMENTS MODEL REMAP DEMO KBSA ConcetBase Reference models describe ideas that are shared across many pieces of software. They take exta effort up-front but can be reused as a source in many projects. 4 year sudy of how requirements are traced in American software development. Focus groups, interviews, tools. One size does not fit all: there are low and high end users of traceability. Metamodel := Net{ STAKEHOLDER, SOURCE, OBJECT : Sets, TRACES_TO:@(Object, Object), MANAGES:@(STAKEHOLDER, SOURCE), DOCUMENTS: @(SOURCE, OBJECT), HAS_ROLES_IN: @(STAKEHOLDER, OBJECT| TRACES_TO). Generate particular models by specializing and instanciating parts of the meta-model. dimensions:= What>< Where >< Why >< when. Lower level users conceptbase: requirements, compliance verification procedures, system subsystems components, external systems. Tend to not document rationales. High end users need 4 separate diagrams. Incluudes rationales. Implemented the high level model using SLATE (system Level Automation Tol for Engineers). Input into DFDs and ERDs and CASE tools. Distinguishes 18 types of links. .cs .c New Items March 18th