Amir Pnueli - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged model-driven development

SUITE 2009: First international workshop on search-driven development - users, infrastructure, tools and evaluationSushil Krishna Bajracharya, Adrian Kuhn, Yunwen Ye. ICSE 2009: 445-446 [doi]

Value-chain-oriented service development by means of a two-channel service model Veselin Panshef, Edgar Dorsam, Tomohiko Sakao, Herbert Birkhofer. ijstm, 11(1):4-23, 2009. [doi]

On an ODE Model for Development to AIDSBhagwan D. Aggarwala. psb 2007: 504-509

Mental Map and Model Driven DevelopmentJens von Pilgrim. eceasst, 7, 2007. [doi]

Adjustable Cost Estimation Model for COTS-Based DevelopmentPoom Naunchan, Daricha Sutivong. ASWEC 2007: 341-348 [doi]

Modelling software development methodologies: A conceptual foundationCesar Gonzalez-Perez, Brian Henderson-Sellers. jss, 80(11):1778-1796, 2007. [doi]

A Rational approach to model-driven developmentAlan W. Brown, Sridhar Iyengar, Simon Johnston. IBMSJ, 45(3):463-480, 2006. [doi]

Development of Multi Agent Resource Conversion Processes Model and Simulation SystemKonstantin A. Aksyonov, Elena F. Smoliy, Natalia V. Goncharova, Alexey A. Khrenov, Anastasia A. Baronikhina. iccS 2006: 879-882 [doi]

A Model of the Role of Cholesterol in the Development of Alzheimer s DiseaseGizelle Kupac Vianna, Artur Emílio S. Reis, Luís Alfredo V. de Carvalho, Roseli S. Wedemann. iccS 2006: 842-845 [doi]

Scoped, coarse-grain memory management and the RTSJ scoped memory model in the development of real-time applicationsAndrew Borg, Andy J. Wellings. ijes, 2(3/4):166-183, 2006. [doi]

Profiling of the Lab VIEW Development Environment and Real-Time ModuleMahdi Javer, Trevor W. Pearce, M. Gibeault, M. Ahmadi. ccece 2006: 1296-1299 [doi]

Development of object-understanding among students in the humanitiesMorten Lindholm. iticse 2005: 382 [doi]

Development of a Quantitative Structure-Activity Relationship Model for Inhibition of Gram-positive Bacterial Cell Growth by BiarylamidesDavid T. Stanton, Prakash J. Madhav, Larry J. Wilson, Timothy W. Morris, Paul M. Hershberger, Christian N. Parker. jcisd, 44(1):221-229, 2004. [doi]

A development environment for customer-oriented Internet business: eBizBenchChoongseok Lee, Byounggu Choi, Heeseok Lee. jss, 72(2):163-178, 2004. [doi]

Formal Modeling of C. elegans Development: A Scenario-Based ApproachNa aman Kam, David Harel, Hillel Kugler, Rami Marelly, Amir Pnueli, E. Jane Albert Hubbard, Michael J. Stern. cmsb 2003: 4-20 [doi]

Using particle swarms for the development of QSAR models based on K-nearest neighbor and kernel regressionWalter Cedeño, Dimitris K. Agrafiotis. jcamd, 17(2-4):255-263, 2003.

Development of Remote Visualization and Collaborative Visualization System in ITBL Grid EnvironmentYoshio Suzuki, Nobuko Matsumoto. ishpc 2003: 269-277 [doi]

A Dynamic Model of Virtual Organisations: Formation and DevelopmentCatherine Lackenby, Hamid Seddighi. ifip5-5 2002: 37-44

Rapid One-of-a-Kind Product Development in a Global and Virtual Manufacturing EnvironmentYi Liu Tu, J. J. Kam, S. Q. Xie. ifip5-7 2003: 159-173

A communication workload estimation model based on relationships among shared works for software development projectsNoriko Hanakawa, Ken-ichi Matsumoto, Koji Torii. apsec 2002: 571-580 [doi]

Online Faculty Development: A PT3 Concerns-Based Technology Adoption Model for Teacher Education Using Electronic Portfolios for Performance EvaluationJoyce Pittman, Bax James. webnet 2001: 1010

Task Environments for the Dynamic Development of BehaviorDerek Harter, Robert Kozma. iccS 2001: 300-309 [doi]

Product Development with Multiple-View Feature ModellingWillem F. Bronsvoort, Alex Noort, J. van den Berg, Geoffry F. M. Hoek. ifip5-2 2003: 57-76

Supply chain applications II: development of a high-level supply chain simulation modelSanjay Jain, Russell W. Workman, Lisa M. Collins, Eric C. Ervin, Andrew P. Lathrop. wsc 2001: 1129-1137 [doi]

A comparative study of two software development cost modeling techniques using multi-organizational and company-specific dataD. Ross Jeffery, Melanie Ruhe, Isabella Wieczorek. INFSOF, 42(14):1009-1016, 2000. [doi]

New Distribution Models for Financial Services: The Italian Banks Approach to the On Line Trading DevelopmentFranca Cantoni, Cecilia Rossignoli. jecr, 1(2):60-66, 2000. [doi]

Incremental system development of large discrete-event simulation modelsLars G. Randell, Lars G. Holst, Gunnar S. Bolmsjö. wsc 1999: 561-568 [doi]

A neural network model for the development of simple and complex cell receptive fields within cortical maps of orientation and ocular dominanceSteven J. Olson, Stephen Grossberg. NN, 11(2):189-208, 1998. [doi]

Evaluating software development effort model-building techniques for application in a real-time telecommunications environmentRobert T. Hughes, Alan Cunliffe, Franklyn Young-Martos. iee, 145(1):22-34, 1998.

Model and Implementation of a Secure SW-Development Process for Mission Critical SoftwareFerdinand J. Dafelmair. safecomp 1998: 128-142 [doi]

Development of Negation in French: A Quantitative ModelRelja Vulanovic. jql, 4(1-3):276-280, 1997.

Development of Models in Cell Biology using an Integrated Simulation EevironmentO. Werner, H. J. Baur, Hans-Peter Meinzer. gcb 1997: 333-335

Practical Considerations in Development of a Parallel SKYHI General Circulation ModelPhilip W. Jones, Christopher L. Kerr, Richard S. Hemler. pc, 21(10):1677-1694, 1995.

Development and application of composite complexity models and a relative complexity metric in a software maintenance environmentJonathan M. Hops, Joseph S. Sherif. jss, 31(2):157-169, 1995. [doi]

Development of a C::infinity::-continuous small-signal model for a MOS transistor in normal operationBenjamín Iñíguez, Eugenio García Moreno. tcad, 14(2):163-166, 1995. [doi]

Process Modelling and Development PracticeTom Rodden, Val King, John A. Hughes, Ian Sommerville. ewspt 1994: 59-64

Object-oriented case-supported development of information systemsOscar Barros. jss, 24(2):95-113, 1994. [doi]

Development of a Cinfinty-Continuous Small-Signal Model for a MOS TransistorBenjamín Iñíguez, Eugenio García Moreno. iscas 1994: 193-196

Development of simulation models for protein folding in a thermal annealing process - I: A simulation of BPTI folding by the pearl necklace modelT. Karasawa, K. Tabuchi, M. Fumoto, T. Yasukawa. bioinformatics, 9(3):243-251, 1993.

STATEMATE: A Working Environment for the Development of Complex Reactive SystemsDavid Harel, Hagi Lachover, Amnon Naamad, Amir Pnueli, Michal Politi, Rivi Sherman, Aharon Shtull-Trauring, Mark B. Trakhtenbrot. TSE, 16(4):403-414, 1990. [doi]

An application of task analysis to the development of a generic office reference modelJill Hewitt, John Hobson, John Sapsford-Francis. ACMdis 1990: 265-269

OROS: Toward a Type Model for Software Development EnvironmentsWilliam R. Rosenblatt, Jack C. Wileden, Alexander L. Wolf. OOPSLA 1989: 297-304

Not Waving but Drowning : Representation Schemes for Modelling Software DevelopmentAnthony Finkelstein. ICSE 1989: 402-404 [doi]

An example of software development modellingAnthony Finkelstein. ispw 1989: 151-153

STATEMATE; A Working Environment for the Development of Complex Reactive SystemsDavid Harel, Hagi Lachover, Amnon Naamad, Amir Pnueli, Michal Politi, Rivi Sherman, Aharon Shtull-Trauring. ICSE 1988: 396-406

A software development productivity model for MIS environmentsD. Ross Jeffery. jss, 7(2):115-125, 1987. [doi]

Requirements for model development environmentsOsman Balci. cor, 13(1):53-67, 1986. [doi]

Modelling the Development of the Number of Trees in Pine Stand-by Death Process and Statistical InferenceUlrich Pofahl. eik, 20(7-9):476-479, 1984.

On the Development of Data ModelsMichael L. Brodie. db-workshops 1982: 19-47

A model of the software development processMontgomery Phister Jr.. jss, 2(3):237-255, 1981. [doi]

runs on WebDSL