. A Textual Map of my research area -- software development Software Development .Set .Key Notations .List Modeling .List UML .See ./samples/uml.html See Languages below .Close.List 3D Notations TEMPO $AMOW Graphics Mathlike: see MATHS, Z, ... Tables .See ./maths/notn_9_Tables.html Languages .See ./samples/languages.html .List See UML above Syntax Semantics MetaLanguages .List Chomski XBNF::="eXtreme BNF", $AMOW MATHS $AMOW .See ./maths/ .Close.List Programming Languages A thru Z HTML XML .Close.List .Close.List Paradigms .List Hacked Modular Engineered Functional Structured Object oriented Aspect oriented See Methods below .Close.List Practice .List Reuse Evolution Qualities .List Costs, markets, Economics RISKS metrics .Close.List Technology and Tools .List UNIX Architectures .Close.List People .List Programmers Managers Stakeholders Users .Close.List Process .List Sequential vs non-sequential .Close.List .List MicroSoft Agile RUP XP See Paradigm->Engineering .Close.List People $TBA .See ./samples/etc.html .Close.List Methods .See ./samples/methods.html .List See Practice, and Paradigms above Data Directed Dynamic Analysis and Design Mathematical Methods (Formal Methods) .List VDM, B, ... Z Discrete Math Logic Proofs Model Checking See Languages above Theoretical Computer Science Probabilistic Models of Software and Software Processes .Close.List .Close.List .Close.List Bibliography $TBA .Close.Set TBA::="To be announced...". AMOW::="All My Own Work".