Apps for Development seeks evaluations. Sysadmins called to improve testability. Coverity leads market in automated software testing. Topicmarks does document summarization. Wrangler simplifies form-based data cleanup. Linked open data adds value. EMC released Greenplum visual language for big data. Canvas learning management system announced.
White house publishes innovation strategy. Startup America supports entrepreneurship. National Power Grid has security issues. FBI search engine developed. Local Motors announces transport design battle. National Security Space Strategy published. Russians resume plans for spaceplane. China announces 2020 science goals. Clean nuclear power is a priority in China. Japanese elderly not quick to accept bot care companions. RoboEarth networks bots globally. Surgeons communicate with nurse bots using gesture recognition. David Hanson’s bot heads advance.
Video discusses implants for humans and brains for bots. Heart cells are made from skin. Accelerometer is made of paper. Nestle tests products in huge stomach. Neer tracks group member locations. Ericsson texts money transfers. AT&T expands mobile banking. Walgreens fill prescriptions by cell cam. IntoNow promotes social TV. Digital museums are browsable in Google Art Project. There were thirty-three recent links.
Verification and Validation in Systems Engineering
This book looks at how architecture frameworks use SysML and UML 2.0. Techniques are classified as informal, static, dynamic or formal. These use inspection, testing, simulation, reference model equivalence checking and theorem proving. It proposes a unified approach to evaluate designs, including comparative metrics and procedures There is a case study of an ATM. Semantics, probabilistic behavior and performance analysis of activity diagrams are considered using the PRISM model. There are thirteen chapters.