.Open LiShawHerbslebRaySanthnanam04 Paul Luo Li & Mary Shaw & Jim Herbsleb & Bonnie Ray & P Santhnanam Empirical evaluation of Defect Projection models for widely-deployed production software systems Proc SIGSOFT'04/FSE-12& ACM SIGSOFT Software Engineering Notes V29n6(Nov 2004)pp263-272 =EMPIRICAL STATISTICS DEFECTS COTS Tomcat OpenBSD Weibull Gathered data about user reported defects in open and closed source code projects. Rate of defects in each release vs time in release. Found that Weibull work better than most models with Gamma a rival. For Time t, defect_rate(t)::= N* \alpha* \beta * t**(\alpha-1) * exp(\beta * t**\alpha). Did not find a simple way to predict the parameters of each release. .Close .Open SouzaRedmillesChengMillenPatterson04 Cleidson R B de Souza & David Redmilles & LI-Te Cheng & David Millen & John Patterson How a good software practice thwarts collaboration -- the multiple roles of APIs in Software Development Proc SIGSOFT'04/FSE-12& ACM SIGSOFT Software Engineering Notes V29n6(Nov 2004)pp221-229 =OBSERVATION PRACTICE TEAM MODULES INTERFACE Java =IDEA SOCIAL Call-graph Interfaces(public and published classes interfaces and methods) were an important part of development in this project acting as a contract, supporting independent work, following organizational boundaries and forming a language for dependencies. However: APIs were unstable, incompletely implemented, and stopped important information being shared. Tools were not use to track and share changes in APIs. Proposal: use a tool to analyze code and track (1) call-graph dependencies across APIs + (2) who is working on which. Hence track who depends on whom and advertise the need to communicate. .Close .Open EdwardsJacksonTorlak04 Jonathan Edwards & Daniel Jackson & Emina Torlak A Type System for Object Models Proc SIGSOFT'04/FSE-12& ACM SIGSOFT Software Engineering Notes V29n6(Nov 2004)pp189-199 =IDEA LOGIC RELATIONAL TYPES Alloy 2.0 Defines an improved type system for Alloy with subtypes, relations, etc. Compares with UML OCL. Precisely defines two types for formulas: bounding type and relevance type. An empty relevance type indicates an error. .Close .Open LevesonWeiss04 Nancy G Leveson & Kathryn Anne Weiss Making embedded software reuse practical and safe Proc SIGSOFT'04/FSE-12& ACM SIGSOFT Software Engineering Notes V29n6(Nov 2004)pp171- =EXAMPLES RISKS REUSE QUALITIES SAFETY EVOLUTION INTENT DOCUMENTATION DESIGN DECISIONS NASA MCO Ariane SOHO TOOL SpecTRM And/Or TABULAR SPHERES PAD FSA TCAS Accidents caused when undocumented assumptions made by reused components ceased to be true. Change happens and documentation helps to trace the changes to the components that are no longer safe to (re)use. Generic libraries of intent specification for SPHERES project with a single experimental reuse... Need to document the WHY at half-a-dozen levels. Claims that OO requirements analysis can not produce safely reusable components because requirments are distributed across many object. However OO design of components proved to meet documented requirements may be safe to reuse. .Close .Open MaziniOsterman04 Mira Mazini & Klaus Osterman Variability Management with Feature-Oriented Programming and Aspects Proc SIGSOFT'04/FSE-12& ACM SIGSOFT Software Engineering Notes V29n6(Nov 2004)pp127-136 =ADVERT Caesar TECHNICAL VARIABILITY FEATURES vs ASPECTS AspectJ FOA Feature oriented programming allows the coding of refinements to existing base classes in `layers`. They may be mixed. This is implicitly hierarchical and the hierarchy may not fit other structures. They don't handle changes to the code that are cross-cutting concerns that impact many methods. Aspects handle cross cutting concerns (by pointcut+advice) but can not form hierarchies. Caesar::language=`combines layers and aspects...`. Will be applied in .See http://www.topprax.de/ the TOPPrax project. .Close .Open Capra04 Licia Capra Engineering Human Trust in Mobile System Collaborations Proc SIGSOFT'04/FSE-12& ACM SIGSOFT Software Engineering Notes V29n6(Nov 2004)pp107-116 =THEORY MATHEMATICS TRUST AGENTS hTrust TMF TMF::="Trust Management Framework". Models the formation, dissemination and evolution of trust between agents. trust_data::=Net{who_trusts, opinion, trusted, level, subject, direct_experiences, credentials, recommendations }. Notes .Close .Open ZitserLippmannLeek04 Misha Zitser & Richard Lippmann & Tim Leek Testing static analysis tools using exploitable buffer overflows from open source code Proc SIGSOFT'04/FSE-12& ACM SIGSOFT Software Engineering Notes V29n6(Nov 2004)pp97-106 =EXPERIMENT open source SECURITY TOOLS Boon Archer Uno Splint PolySpace C sendmail BIND WU-FTPD Static analysis tools miss known buffer overflows and misdiagnose safe programs. PolySpace best. Main problem: content of arrays makes code safe/unsafe.. .Close .Open LetierLamsweerde04 Emmanuel Letier & Axel van Lamsweerde Reasoning about partial goal satisfaction for requirements engineering. Proc SIGSOFT'04/FSE-12& ACM SIGSOFT Software Engineering Notes V29n6(Nov 2004)pp53-62 =DEMO QUALITIES PROBABILITY GOALS PCTL .Close .Open DingelLiang04 Juergen Dingel & Hongzhi Liang Automating comprehensive safety analysis of concurrent programs using VeriSoft and TXL Proc SIGSOFT'04/FSE-12& ACM SIGSOFT Software Engineering Notes V29n6(Nov 2004)pp13-22 =DEMO SQA AUTOMATED MODEL CHECKING TOOL ViP TXL plLTL Verisoft .Close .Open Wu04 Fangjun Wu Empirical Analysis of Entropy distance Metric for UML Class Diagrams ACM SIGSOFT Software Engineering Notes V29n5(Sep 2004)p35 .See http://doi.acm.org/10.1145/1022494.1022524 =EMPIRICAL UML METRIC Zhou banking understanding Abstract: "[...]we provide empirical evidence for supporting the role of the structure complexity metrics for UML class diagrams, specifically Zhou's metric. Our results, based on data related with bank information system, indicate that the metric is basically consistent with human beings' intuitions. " .Close .Open Holzinger04 Andreas Holzinger Usability Engineering methods for Software developers Commun ACM V48n1(Dec 2005)pp71-74 =REFERENCE USER QUALITIES MEASURE TEST HCI SQA INSPECTION usability::=(learnability, efficiency, memorability, low error rate, satisfaction). usability_inspection_methods ::= heuristic_evaluation + cognitive_walkthrough + action_analysis. action_analysis =~= time_and_motion_analysis. usability_test_methods ::= thinking_aloud + field_observation + questionaires . matrix on p 72. .Close .Open Turchin03 Peter Turchin Historical Dynamics: Why States rise and fall Princeton UP (complexity) 2003? D16.25 T87 ISBN 0-691-11669-5 $35 =MATHEMATICS HISTORY .Close .Open HirschheimNewman91 Rudy Hirschheim & Mike Newman Symbolism and Information System Development: Myth, Metaphor, and magic Information Systems Research V2n1(??? 1991) & .See [MyersAvisson02] =SURVEY POSTMODERN PEOPLE SYSTEMS ANTHROPOLOGY CYBERCRUD Ref to .See [Markus83] Argues that information system development can not described as a rational endeavor and gives examples from 4 projects of myths, metaphors, and Magic (ritual). Distinguishes believers(faith overrides events) from cynics( belief follows events) 6 myths: user involvement, resist and always happens and must be overcome, integration is good, system people know best, politics doesn't matter, top-down is good. 3 metaphors: it's a battle, the organization is divided into fiefdoms, people are machines. 3 magic rituals: involving the user, signing off, owning data. .Close