References
- AmblerSWAgile Modeling: Effective Practices for XP and RUP2002
- ArthurJDGroenerMKAn operational model for structuring the requirements generation processRequirements Eng J2005101456210.1007/s00766-004-0196-2
- Arthur JD and Nance RE (1996). Independent verification and validation: a missing link in simulation methodology? Proceedings of the 1996 Winter Simulation Conference, Coronado, CA, December 1996, pp 230–236.
- Arthur JD and Nance RE (1997). Verification, validation, and accreditation: disciplines in dialogue or can we learn from the experiences of others? Proceedings of the 1997 Winter Simulation Conference, Atlanta, GA, December 1997, pp 489–496.
- Arthur JD and Nance RE (2000). Verification and validation without independence: a recipe for failure. Proceedings of the 2000 Winter Simulation Conference, Orlando, FL, December 2000, pp 859–865.
- Arthur JD and Sargent RG (1999). Verification and validation: what should project size and complexity have on attendant v&v activities and supporting infrastructure?. Proceedings of the 1999 Winter Simulation Conference, Phoenix, AZ, December 1999, pp 148–155.
- BalciONanceREFormulated problem verification as an explicit requirement of model credibilitySimulation1985452768610.1177/003754978504500204
- BalciONanceRESimulation model development environments: a research prototypeJ Opl Res Soc198738875376310.1057/jors.1987.123
- Balci O and Nance RE (1987b). Simulation support: prototyping the automation-based paradigm. Proceedings of the 1987 Winter Simulation Conference, Atlanta, GA, December, pp 495–502.
- BalmerDWPaulRJCASM—the right environment for simulationJ Opl Res Soc1986375443452
- BalzerRCheathamTEGreenCSoftware technology in the 1990's: using a new paradigmIEEE Comput19831611394510.1109/MC.1983.1654237
- BasiliVRTurnerAIterative enhancement—a practical technique for software developmentIEEE Trans Software Eng1975SE-1439039610.1109/TSE.1975.6312870
- BeckKExtreme Programming Explained: Embrace Change1999
- BjerknesGBratteteigTUser participation and democracy: a discussion of Scandinavian research on system developmentScand J Inform Syst1995717398
- BoehmBWA spiral model of software development and enhancementIEEE Comput1988215617210.1109/2.59
- BoehmBWUsing the win–win spiral model: a case studyIEEE Comput1998317334410.1109/2.689675
- BravoEThe hazards of leaving out the usersParticipatory Design: Principles and Practices1993311
- BrodieMLOn the development of data modelsOn Conceptual Modeling19841947
- Buxton NJ (1968). Simulation programming languages. Proceedings of the IFIP Working Conference on Simulation Programming Languages, North-Holland Publishing Company: Amsterdam.
- ChungCSimulation Modeling Handbook: A Practical Approach2003
- ChurchmanCWAckoffRLArnoffELIntroduction to Operations Research1957
- DavisAMSoftware Requirements: Objects, Functions, & States1993
- DavisAMThe art of requirements triageIEEE Comput2003363424910.1109/MC.2003.1185216
- DeMarcoTStructured Analysis and System Specification1979
- DeMillo R, Guindi D, King K and McCracken M (1988). An extended overview of the Mothra software testing environment. Second Workshop on Software Testing, Verification, and Analysis. Banff, Canada, July 1988, pp 142–151.
- DijkstraEStructured programmingSoftware Engineering, Concepts and Techniques1976222226
- Drake J, Foster I, Malone B, Williams D and Bader D (2004). Global systems simulation software requirements: an outline for CSET-ACPI leveraging. Available online.
- EasterbrookSNuseibehBUsing viewpoints for inconsistency managementSoftware Eng J1996111314310.1049/sej.1996.0004
- FairleyREThayerRHThe concept of operations: the bridge from operational requirements to technical specificationsSoftware Requirements Engineering19977383
- Filho WA and Hirata CM (2004). Translating activity cycle diagrams to java simulation programs. Proceeding of the 37th Annual Simulation Symposium (ANSS ’04), Arlington, VA, April 2004, pp 157–165.
- FinkelsteinAGabbyDHunterAKramerJNuseibehBInconsistency handling in multi-perspective specificationsIEEE Trans Software Eng199420856957810.1109/32.310667
- Gomma H and Scott D (1981). Prototyping as a tool in the specification of user requirements. Proceedings of the Fifth International Conference on Software Engineering, San Diego, CA, March 1981, pp 333–342.
- GordonGThe development of the general purpose simulation system (GPSS)History of Programming Languages1981403437
- HerleaDEJonkerCMTreurJWijngaardsNJEA compositional knowledge level process model of requirements engineeringInt J Software Eng Knowledge Eng2002121417510.1142/S0218194002000792
- HewittCAn artificial intelligence perspectiveOn Conceptual Modeling1984453455
- Holbaek E, Handlykken P and Nygaard K (1997). Systems description in the DELTA language. Report #4, Publication #523, 2nd printing, Norwegian Computing Center, Oslo.
- HollocksBWForty years of discrete-event simulation—a personal reflectionJ Opl Res Soc200557121383139910.1057/palgrave.jors.2602128
- IPL Information Processing Ltd (1996). Designing Unit Test Cases. Eveleigh House: Bath, UK.
- JacobsonIObject-Oriented Software Engineering1992
- Kiviat PJ (1969). Digital computer simulation: computer programming languages. RAND memo RM-5883-PR. RAND Corporation: Santa Monica, CA.
- Kiczales G, Lamping J, Mendhekar A and Madeca C (1997). Aspect-oriented programming. Proceedings European Conference on Object-Oriented Programming, Lecture Notes in Computer Science, Vol. 1241, Finland 1997, pp 220–242.
- KreutzerWSystem Simulation—Programming Styles and Languages1986
- LeiteJCSPFreemanPARequirements validation through viewpoint resolutionIEEE Trans Software Eng199117121253126910.1109/32.106986
- Lobo LO (2004). Analysis and evaluation of methods for activities in the expanded requirements generation model (x-RGM). Masters thesis, Department of Computer Science, Virginia Tech, URN: etd-07272004-133607.
- LingerRCMillsHDWittBIStructured Programming1979
- MarkowitzHMEfficient portfolios, sparse matricies, and entities: a retrospectiveOpns Res200250115416010.1287/opre.50.1.154.17774
- Mathewson SC (1975). Interactive simulation program generators. In: Proceedings of the European Computing Conference on Interactive Systems, Brunel University, UK, pp 423–439.
- Miller I, Kossik R and Voss C (2003). General requirements for simulation models in waste management. Waste Management 2003 Symposium, Tucson, AZ, February 2003, Available online.
- MizeJHCoxJGEssentials of Simulation1968
- Mullery G (1979). CORE—a method for controlled requirements specifications. Proceedings of the 14th International Conference on Software Engineering, Munich, Germany, September 1979, pp 126–135.
- MyersGJThe Art of Software Testing1976
- Nance RE (1983). A tutorial view of simulation model development. Proceedings of the 1983 Winter Simulation Conference, Washington, DC, 12–14 December 1983, pp 325–331.
- Nance RE (1984). Model development revisited. In: Proceedings of the 1984 Winter Simulation Conference, Dallas, TX, 28–30 November 1984, pp 75–80.
- Nance RE (1989). Modeling and programming: The evolutionary convergence. Presentation at Syracuse University, 1989.
- Nance RE (1995). Simulation programming languages: an abridged history. Proceedings of the 1995 Winter Simulation Conference Arlington, VA, December 1995, pp 1307–1333.
- NanceREA history of discrete event simulation languagesHistory of Programming Languages II1996369427
- Nance RE and Arthur JD (2006). Software requirements engineering: exploring the role in simulation model development. Proceedings of the 2006 Operational Research Society Simulation Workshop (SW’06), Coventry, England, March 2006, pp 117–127.
- NanceRESargentRGPerspectives on the evolution of simulationOpns Res200250116117210.1287/opre.50.1.161.17790
- Nance RE, Balci O and Moose RL (1984). Evaluation of the UNIX Host for a model development environment. Proceedings of the 1984 Winter Simulation Conference, Dallas, TX, 28–30 November 1984, pp 577–584.
- NygaardKDahlOJThe development of the simula languageHistory of Programming Languages1981439493
- Overington M (2005). Model-driven development today. Available online, April 26, 2005.
- OverstreetCMNanceREA specification language to assist in analysis of discrete event simulation modelsCommun Assoc Comput Mach1985282190201
- PaceDKIdeas about simulation conceptual model developmentJohns Hopkins APL Techn Digest2000213327336
- PaulRJSimulation modelling: the CASM projectJ Brazilian Opns Res Soc1990102134
- PaulRJChewSTSimulation modelling using an interactive simulation program generatorJ Opl Res Soc198738873575210.1057/jors.1987.122
- RichardsDMerging individual conceptual models of requirementsRequirements Eng J20038419520510.1007/s00766-002-0158-5
- RobinsonSSimulation: The Practice of Model Development and Use2004
- Robinson S (2006). Conceptual modeling for simulation: issues and research requirements. Proceedings of the 2006 Winter Simulation Conference, Monterey, CA, December, pp. 792–800.
- Royce WW (1970). Managing the development of large software systems: concepts and techniques. Proceedings of the Western Electronic Show and Convention (WesCon), Los Angeles, August 1970, pp 1–9. (Reprinted in the Proceedings of Ninth International Conference on Software Engineering, March 1987, Monterey CA, pp 328–338.)
- Sargent RG (2001). Some approaches and paradigms for verifying and validating simulation models. Proceedings of the 2001 Winter Simulation Conference, Arlington VA, December 2001, pp 106–113.
- Sommerville I, Sawyer LP and Viller S (1998). Viewpoints for requirements elicitation: a practical approach. The Third IEEE International Conference on Requirements Engineering, Colorado Springs, CO, April 1998, pp 74–81.
- StevensWPUsing Structured Design1981
- TeitelbaumTRepsTThe Cornell program synthesizer: a syntax-directed programming environmentCommun ACM198124956357310.1145/358746.358755
- Tocher KD (1966). Some techniques of model building. Proceedings IBM Scientific Computing Symposium on Simulation Models and Gaming, White Plains, NY, 1966, pp 119–155.
- Tocher KD and Owen DG (1960). The automatic programming of simulations. Proceedings of the Second International Conference on Operational Research, 1960 pp 50–68.
- VölterMStahlTBettinJHaaseAHelsenSModel-Driven Software Development: Technology, Engineering, Management2006
- Weinberg GM (1982). Overstructured management of software engineering. Proceedings of the Sixth International Conference on Software Engineering, Tokyo, Japan, September 1982, pp 2–8.
- WillemainTRInsights on modeling from a dozen expertsOpns Res199442221322210.1287/opre.42.2.213
- WoodJSilverDJoint Application Development1995
- YourdonEConstatineLLStructured Design1979
- ZillesSNA programming language perspectiveOn Conceptual Modeling1984459460