Registrer deg | Logg på | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

benavides' library [221 articles]

Nye artikler sendt til benavides' bibliotek.
  • An assessment of systems and software engineering scholars and institutions (2001-2005)
    Journal of Systems and Software, Vol. 81, No. 6. (June 2008), pp. 1059-1062.
    by Eric W Wong, TH Tse, Robert L Glass, Victor R Basili, TY Chen
    posted to miphisis fundations education by benavides on 2008-06-27 10:57:13 as **
  • An analysis of research topics in software engineering - 2006
    Journal of Systems and Software, Vol. 81, No. 6. (June 2008), pp. 1051-1058.
    by Kai-Yuan Cai, David Card
    posted to miphisis fundations education by benavides on 2008-06-27 10:54:48 as **
  • Applying Variability Modeling Concepts to Support Decision Making for Service Composition
    Service-Oriented Computing: Consequences for Engineering Requirements, 2006. SOCCER '06 (2006), pp. 1-1.
    by K Petersen, N Bramsiepe, K Pohl
    posted to ws soa-spl by benavides on 2008-06-05 18:21:01 as **
  • Configuration Modeling Based Software Product Development
    Advanced Parallel Processing Technologies (2007), pp. 624-639.
    by Yi-Yuan Li, Jian-Wei Yin, Yin Li, Jin-Xiang Dong
    posted to citas-seke05 citas by benavides on 2008-04-30 10:41:26 as **
  • Formal Approach to Integrating Feature and Architecture Models
    Fundamental Approaches to Software Engineering (2008), pp. 31-45.
    by Mikoláš Janota, Goetz Botterweck
    posted to citas-jisbd06 citas-caise05 citas by benavides on 2008-04-24 20:11:25 as **
  • What’s in a Feature : A Requirements Engineering Perspective
    Fundamental Approaches to Software Engineering (2008), pp. 16-30.
    by Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens
    posted to citas-cacm06 citas by benavides on 2008-04-24 20:06:53 as ** along with 1 person leonardo
  • Deriving Product Line Requirements: the RED-PL Guidance Approach
    Asia-Pacific Software Engineering Conference, 2007. APSEC 2007 (2007), pp. 494-501.
    by Olfa Djebbi, Camille Salinesi, Daniel Diaz
    posted to citas-splc06 citas by benavides on 2008-04-24 20:04:21 as **
  • Collaborative Product Configuration: Formalization and Efficient Algorithms for Dependency Analysis
    Journal of Software, Vol. 3, No. 2. (February 2008), pp. 69-82.
    by Marcílio Mendonça, Donald Cowan, William Malyk, Toacy Oliveira
    posted to citas-vamos07 citas automated-analysis by benavides on 2008-04-24 19:09:36 as **
  • Aspectual Feature Modules
    Software Engineering, IEEE Transactions on, Vol. 34, No. 2. (2008), pp. 162-180.
    by Sven Apel, Thomas Leich, Gunter Saake
    posted to aop fm by benavides on 2008-04-03 14:48:55 as ***** along with 2 people winko alphabetagamma
  • Theory and Proofs for Feature Model Refinements
    (2006)
    by Rohit Gheyi, Vander Alves, Tiago Massoni, Uirá Kulesza, Paulo Borba, Carlos Lucena
    posted to automated-analysis by benavides on 2008-03-07 09:49:24 as ** along with 1 person segura
  • Software Engineering Education in the Modern Age Software Education and Training Sessions at the International Conference on Software Engineering, ICSE 2005, St. Louis, MO, USA, May 15-21, 2005, Revised Lectures
    edited by Paola Nverardi, Mehdi Jazayeri
    posted to education by benavides on 2008-03-07 09:45:22 as ** along with 686 people and 131 groups fernand0 dperkel egh jyuh samth sora florine ladygoat hopm hellige parmentierf ssn mortimer tinkha V plaugg ansobol mjaz berthelemy eldan pdlug zephoria carloscabanillas Janos bkliethermes nazareno elsantosneto januadiaboli yaroslavvb jurijmlotman geomblog srl bigga treycausey CSG mcphee chandrashekar denns matzke sherrivokey sona cassj lijil hlovise coolger incites bigmagpie alicetiara yorgos johannsen cavlec smbrower viller jenmy mlzafron tymmail sedging davidr macowell eimaj42jdp Flit BenWillems agallet hawesie sngourlay jolilius rmagf acer ville garyfeng danifazzio willwade gantlord melanieramage mgregg cwb neteler carneym crispinb rdlong lillekatt davemack agarza carsonr imcdnzl tjimenez Tolik lna dmikurube szityu michmill P2324548 jpbenda Vaccine tadm mkwalker anar grzegorz japple planetoid okarsligil stormybriggs UWerplab nbr inbetweener pafmon stina pgastrein xiruela kutabar jfr xamde kliether mleis jshahin cmunson lfriedl sharonhoward ccots terraces czlamer brent_lance subhradeep jjray Jellyfish cmmorel bayesian ghsalazar manuelpq sekulerlab jmaryott kristina chad_davis Ayest thens RMGraze e2holmes JAShapiro contradictoryben lrodero jamesfournie nybon hawkestein diegolino_veneziano rvosa Schmidtc lyongu ricmilne KarinaFigueroa jfmenudet cdmilligan great_apes brthz juliajumeau gloinf billwolff mrkrause halsnalle pintman yish mkcerusky cyph3r idm smithco ruudvanleeuwen BarrosH aelva harshpshah earnoux princessbritty Laki kupopo ryang eustatic daqing balicea stain matts ram frankgrimes Pfaff9 locatellimp seawidget ianli kate_waxlyrical rherring ThomasEtEckert cliona shaun gregnishihara harmonjt Happybene jklugman mwyarbro rburnett prabakaran nperrin tystl gugek NicolasNeubauer gytisc Nele pedagogicapprentice dlouzeck phillipkent emerson rafamayo arichar6 pasion sadsackmac gbae redcourgette sunilbajpai JJNonesuch heintz BuckeyePhysicist bretblosser charlesijones term duckysherwood madhadron ypeter cmm agraham yijisoo jberro peaksun balabu djsaab crumj garypearce rinelk plashkes PaulB charlescearl malkav30 p2p-sec langec tuaba os252 JonathanFeinberg jingliu dvoigt hywel tshr dgront isorhiza foistudy jenine donade kmcolo fisherp voiklis insilico fitzgeraldsteele junoda sumeetonweb familydoc craigtalbert dmitri83 dmboyer martint RalphPutnam atsu-kan hlwoodcock reta gogabr smmurphy rafabravo dabhishe JennaW hisashim cjones chuggins Sulpicus ranb alikocho hiromark gane5h l-alex rdiaz pilho danzinde ueberweise wangsd echinotrix ak Odi bezbozhnik todchambers perceptron wasteland93 yizheng stephane-jean mahlow mbaric mtr anon_pl dir289 lanubile fcalefato dpeeler QFRMC xwenlong johncumbers kgronemyer keitokita hkl pervane mpennell kedmond mfisk brusilovsky gregflanders hgamboa pgeymueller last5laps jbrown nathanielvirgo rwm101 ChristianGraf marohn davetown101 barbz79it naturecure edgarbc muellerkind fugitive joshuashen kndiaye aviad_work crusher lucbelanger lauragonzalez Manhal gagliol ashandanj lns cblock trungdong lechristophe ealloza s-adachi rsabouni dhingra corcoted Shii vrv fmiyamae livingthingdan kaz229 Haggan knowlengr aniak krzywy tg Rootfruit ricklillie gracev lrsantos babyone eenauk long pereicoco lieselot yeqiwei amcmorl redelings nojhan mkharito rocarvaj stoev tdpessem briansludwig ttsutsumi wenniehu elsiatcase perhapstoopink atbrew fsteeg digitaldust CDivin whshen andersok fpalm gkvas brembs ragha mgran thomaswuebben justaubrey macfreek lilalia azygmunt ddineen miguelbezerra jdiggans sjgaller huminfly thjt shenshei erikwdavis jsvoboda ceegrs2 jared jijkoun slafont mdifranc GregorSuhr jmurdoch mattlee Repton jvrantwijk ible fruminator mamadoudiao mkowa fellow tzmtzm samjlord abbyworld aozkan giorgis fluomouse Tellima RiccardoAlbertoni annmarie37 ciriol sstoerge gengh goingsomewhere ruddyconsult MichaelGaebler nco71 Vezhnick fabianhemmert shangnan Fahland lossius adriancooke baikanamako elisaformist jsanpedro oceanflynn imaginaryunit bobturner grahamc nascardaughter shariffdinah ibschwartz srfairclough joepickrell bouchard islandrru hohkhkh1 alchemyst mlewcio irwink henriksdal cychang padraic trshepherd tarjeiha josemblazquez pitzelberger hukkinen toppi sjc garancher_gougeon_reyotero nmaisonneuve powell digamberjuwekar cmcleod grieth isys1186 aartaki polyparadigm rodney portalqm tkravitz bangb cdm jeanfou CareyNadell teh zwang shivakmr prerona michaelmampaey mick39 dagmar gi0rgi0ne bellia akom kevin7 friveroll khm zetetic karipuf leechuck freddan hp2oo1 jenda_z ngrandy andreacapocci ghunter Maderlock shizhao dayadvham monientiedt rebeccamancy calamar c-gobert baniel wongmld jborn dmschneid tale chrisatcite mloewer hanxiansheng rlai jasonbobe ggorjan zeppe AlisonBabeu eprzekwa J_Raff fornstar yodha Akimasa technical oilpalm spacely j0nes IanBrown TCgroup RalfMitschke ingedwar Oktoplus stonest kaniko cwr jladell rbmoura Leize adjih carpi omidf2 msampson olaf markusd paulschlesinger qwermish librain pkrrules thehajime PeterRabbit paulvb cvq peefeeyatko kinestetika lynleypage truongducthang metaspencer dodger042 jpassoth krokicki tibbitts brianlimyl vogmae doylem nkishan joni2am hayko gjhuang ashko buggle bemike cvarnam umurthy21 andregermanoregert Katje midshipman tgyork ivanois toivotuo jnz snyder84 idonaldson dandaman awc psique Thaverkamp mtugrul buchgeher fairy mebiel lectorespa bennettn waszak forestier claudiotubertini acastaner hkreysa AnneB christiankissig GimpyBee sgclendenon paj prdrieze cortex rschulz aklassen kenneth1ny nschaeff japarejo andreacastelletti schocol scarcelan hillarpoldmaa kcrawlik ipora yavanna Grobi s-fujii kdesmond bjbecerra LTrottier ziggy talkingpoints linxiang mllee monkare scottkb pantxorama petergun6666 iantunbridge farzanehs murb christian_librarian jago jsenn mpisarenco blackm0k applebyb bluecricket mrosenki carterb rsimitev BrianTomasik mfloris adamsi yungyuc schulz iup massimocencini natasjadenouden nickpitman genericg dmmarinlo nikko kericson makbot squirmelia adenkabe ThomasKluge pdessus Neeperando hrwiltse vrich ranger amydash taenneken gvandyk1 giolakat sarahmccrum melody Corbasson skumagai nlauzier mirweis Stepstep abdulpur heiko_reese jeanbean CGREL CMU-HCII NU-PRL UoY-CS-AIG Blog_and_Wiki_Research CompetitionLawAndPolicy Tectonics_and_geomorphology NeuronDynamics Context-driven-testers ReadingLab political_science_students kdl distance remote TUCS-ES_Lab Quantum_physics_Education WAND sims_phd_cohort_2005 ASR digital_youth Librarians biodiversity_conservation Global_biodiversity_model InformationRetrieval Wikipedia AssistiveTechnology Bioinformatics mathgamespatterns MACLab folksonomy Neuroscience VisionLab Personal-Information-Management CMS Stoc_Proc_Ecology_WG LanguageAndBrain BrainTheory dtl hdm id vds-arg ALF DPR EvolutionaryComputation STS infovis 2ndFloor fammed-publichealth AI eni Biofluid FAB-lab DSS NeuralNetworks mobilecomputing tmig_psycho RETA SITCRC CDG cliamte_change folk_epistemology instaar_graduate_students Projet_ENSIMAG climate_change BUiGEM social_navigation Macroelectronics ARC04 The_Truants QFRMC_ConsumerCredit Plant-Tissue-Simulation METRIK Metaheuristics Boydian_Society eLearning BioinfoCIPF Nutritional_Polymorphisms CaltechCMP SEGAL Optimization location SNE kickOffTUG-Robocup NanoMechanicsofMetals_MPIMF Georouting Child_Support Software-Architecture ParkinsonLab_at_MaRS moernerlab ilps livingthing HUCO-627-W07 elearning_research PLE-TEL-project Femtochemistry_LMU ediadem ENSSIBVeille memoir ILK ColDyn ImatiGESemantic AGH-IISG PRC_SEA TCD-NDS102-Project CAOS Adaptive-Web Microbial-Ecology Flexible_ICT-supported_learning Social_Software_ws_07-08 DialogueResearchGroup AM-VideoGames-Gender dIEMoSIRIS microbiology_nijmegen Europe_GPE ZnO_project ADMiRes Health_Sciences_Librarians feminist_technoscience Desgin-by-Contract MITCCI Kopelman_Group DarkMarkGroup VivesMinions PostureMobility compneur Philosophy of physics PsychStatsBanter Video based Animation for People Knowledge_Economy_Reform Global_patent_pools Social Informatics @ IU
  • A SURVEY OF EXISTING REQUIREMENTS ENGINEERING TECHNOLOGIES AND THEIR COVERAGE.
    International Journal of Software Engineering & Knowledge Engineering;
    by Päivi1 Parviainen, Maarit1 Tihinen
    posted to ijseke requirements survey by benavides on 2008-03-06 14:12:18 as **
  • notes Identifying Crosscutting Concerns Using Fan-In Analysis
    ACM Trans. Softw. Eng. Methodol., Vol. 17, No. 1. (December 2007), pp. 1-37.
    by Marius Marin, Arie Van Deursen, Leon Moonen
    posted to aspects feature os by benavides on 2008-02-13 14:38:23 as ** along with 1 person eabait
  • Software evolution in open source projects - a large-scale investigation
    Journal of Software Maintenance and Evolution: Research and Practice, Vol. 19, No. 6. (2007), pp. 361-382.
    by Stefan Koch
    posted to os by benavides on 2008-02-05 11:01:00 as **
  • COCOA: COnversation-based service COmposition in pervAsive computing environments with QoS support
    J. Syst. Softw., Vol. 80, No. 12. (December 2007), pp. 1941-1955.
    by Sonia B Mokhtar, Nikolaos Georgantas, Valérie Issarny
    posted to ws by benavides on 2007-12-21 12:48:06 as **
  • Industry Survey of Product Lines Management Tools: Requirements, Qualities and Open Issues
    Requirements Engineering Conference, 2007. RE '07. 15th IEEE International (2007), pp. 301-306.
    by Olfa Djebbi, Camille Salinesi, Gauthier Fanmuy
    posted to requirements spl tool by benavides on 2007-12-17 18:25:39 as *** along with 1 person asilva
  • Disambiguating the Documentation of Variability in Software Product Lines: A Separation of Concerns, Formalization and Automated Analysis
    Requirements Engineering Conference, 2007. RE '07. 15th IEEE International (2007), pp. 243-253.
    by Andreas Metzger, Klaus Pohl, Patrick Heymans, Pierre-Yves Schobbens, Germain Saval
    posted to automated-analysis requirements by benavides on 2007-12-17 18:24:07 as **** along with 1 person segura
  • AN EMPIRICAL ANALYSIS OF THE OPEN SOURCE DEVELOPMENT PROCESS BASED ON MINING OF SOURCE CODE REPOSITORIES.
    International Journal of Software Engineering & Knowledge Engineering, Vol. 17, No. 2. (20070401)
    by Marco Scotto, Alberto Sillitti, Giancarlo Succi
    posted to os by benavides on 2007-12-13 10:09:59 as **
  • SYSTEMATIC FUNCTIONAL DECOMPOSITION IN A PRODUCT LINE USING ASPECT-ORIENTED SOFTWARE DEVELOPMENT:: A CASE STUDY.
    International Journal of Software Engineering & Knowledge Engineering, Vol. 17, No. 1. (20070201)
    by Tegegne Marew, KIM Jungyoon, Doo HWAN Bae
    posted to aop splc by benavides on 2007-12-13 10:00:19 as *****
  • Does Beautiful Code Imply Beautiful Design?
    Software, IEEE, Vol. 24, No. 6. (2007), pp. 18-20.
    by Rebecca J Wirfs-Brock
    posted to education by benavides on 2007-11-29 11:10:36 as ** along with 1 person leonardo
  • The Logic of ILOG (J)Configurator: Combining Constraint Programming with a Description Logic
    by Ulrich Junker, Daniel Mailharro
    posted to automated-analysis configuration semantics by benavides on 2007-11-15 09:39:38 as ** along with 1 person segura
  • Feature Model Based on Description Logics
    Knowledge-Based Intelligent Information and Engineering Systems (2006), pp. 1144-1151.
    by Shaofeng Fan, Naixiao Zhang
    posted to automated-analysis citas citas-caise05 citas-svm04 by benavides on 2007-11-07 09:27:53 as ** along with 1 person segura
  • Software Product Line Oriented Feature Map
    Computational Science – ICCS 2007 (2007), pp. 1115-1122.
    by Yiyuan Li, Jianwei Yin, Dongcai Shi, Ying Li, Jinxiang Dong
    posted to citas citas-caise05 by benavides on 2007-11-07 09:20:38 as **
  • Reasoning about Feature Models in Higher-Order Logic
    Software Product Line Conference, 2007. SPLC 2007. 11th International (2007), pp. 13-22.
    by Mikolas Janota, Joseph Kiniry
    posted to automated-analysis citas citas-caise05 by benavides on 2007-11-07 09:18:00 as ** along with 1 person segura
  • Feature Diagrams and Logics: There and Back Again
    Software Product Line Conference, 2007. SPLC 2007. 11th International (2007), pp. 23-34.
    by Krzysztof Czarnecki, Andrzej Wasowski
    posted to automated-analysis citas citas-caise05 citas-jisbd06 fm by benavides on 2007-11-07 09:15:19 as ** along with 1 person segura
  • Turning portlets into services: the consumer profile
    (2007), pp. 913-922.
    by Oscar D\iaz, Salvador Trujillo, Sandy Pérez
    posted to citas citas-ewmt05 by benavides on 2007-11-07 09:08:03 as **
  • Building the Core Architecture of a NASA Multiagent System Product Line
    Agent-Oriented Software Engineering VII (2007), pp. 208-224.
    by Joaquin Peña, Michael Hinchey, Antonio Ruiz-Cortés, Pablo Trinidad
    posted to citas citas-caise05 citas-jisbd06 by benavides on 2007-11-07 09:06:19 as **
  • Explicit Platform Models for MDA
    Model Driven Engineering Languages and Systems (2005), pp. 367-381.
    by Dennis Wagelaar, Viviane Jonckers
    posted to citas citas-caise05 by benavides on 2007-11-07 09:04:32 as **
  • Refactoring product lines
    (2006), pp. 201-210.
    by Vander Alves, Rohit Gheyi, Tiago Massoni, Uir&\#225; Kulesza, Paulo Borba, Carlos Lucena
    posted to citas citas-caise05 by benavides on 2007-11-07 08:56:37 as ** along with 1 person segura
  • Automating Product-Line Variant Selection for Mobile Devices
    Software Product Line Conference, 2007. SPLC 2007. 11th International (2007), pp. 129-140.
    by Jules White, Douglas C Schmidt, Egon Wuchner, Andrey Nechypurenko
    posted to citas citas-caise05 splc by benavides on 2007-11-07 08:51:26 as **
  • A Conceptual Graph Approach to Feature Modeling
    Conceptual Structures: Knowledge Architectures for Smart Applications (2007), pp. 179-191.
    by Randall Bachmeyer, Harry Delugach
    posted to fm fm-notations by benavides on 2007-11-07 08:41:28 as **
  • Feature-driven requirement dependency analysis and high-level software design
    Requirements Engineering, Vol. 11, No. 3. (13 June 2006), pp. 205-220.
    by Wei Zhang, Hong Mei, Haiyan Zhao
    posted to citas citas-caise05 by benavides on 2007-11-07 08:35:16 as **
  • Multi-agent system product lines: challenges and benefits
    Commun. ACM, Vol. 49, No. 12. (December 2006), pp. 82-84.
    by Joaquin Pena, Michael G Hinchey, Antonio Ruiz-Cortés
    posted to citas citas-caise05 citas-iics05 by benavides on 2007-11-07 08:32:05 as **
  • Configuration
    Intelligent Systems, Vol. 22, No. 1. (2007), pp. 78-90.
    by Carsten Sinz, Albert Haag, Nina Narodytska, Toby Walsh, Esther Gelle, Mihaela Sabin, Ulrich Junker, Barry O'Sullivan, Rick Rabiser, Deepak Dhungana, Paul Grunbacher, Klaus Lehner, Christian Federspiel, Daniel Naus
    posted to ai configuration by benavides on 2007-10-09 14:24:39 as **
  • Antipatterns in the Creation of Intelligent Systems
    Intelligent Systems, Vol. 22, No. 1. (2007), pp. 91-95.
    by Phil Laplante, Robert R Hoffman, Gary Klein
    posted to ai by benavides on 2007-10-09 14:22:38 as read
  • Structuring product family requirements for n-dimensional and hierarchical product lines
    Requirements Engineering, Vol. 8, No. 1. (1 February 2003), pp. 42-54.
    by Jeffrey M Thompson, Mats P Heimdahl
    posted to feature fm requirements variability by benavides on 2007-10-09 13:58:00 as *****
  • Multi-level feature trees: A pragmatic approach to managing highly complex product families
    Requirements Engineering, Vol. 12, No. 2. (April 2007), pp. 57-75.
    by Reiser, Mark-Oliver, Weber, Matthias
    posted to feature fm fm-notations requirements spl variability by benavides on 2007-10-09 11:58:23 as *****
  • Formal semantics and analysis of control flow in WS-BPEL
    Science of Computer Programming, Vol. 67, No. 2-3. (1 July 2007), pp. 162-198.
    by Chun Ouyang, Eric Verbeek, Wil M van der Aalst, Stephan Breutel, Marlon Dumas, Ter
    posted to bpel ws by benavides on 2007-09-18 11:32:30 as ** along with 2 people and 1 group segura toppi tdg
  • Metamodel-based model conformance and multiview consistency checking
    ACM Trans. Softw. Eng. Methodol., Vol. 16, No. 3. (July 2007)
    by Richard F Paige, Phillip J Brooke, Jonathan S Ostroff
    posted to cacm by benavides on 2007-09-03 09:09:51 as **** along with 2 people and 1 group architect leonardo tdg
  • Making every student a winner: The WinWin approach in software engineering education
    Journal of Systems and Software, Vol. 80, No. 8. (August 2007), pp. 1191-1200.
    by Paul Grunbacher, Norbert Seyff, Robert O Briggs, Hoh P In, Hasan Kitapci, Daniel Port
    posted to education by benavides on 2007-07-19 08:04:30 as *** along with 1 person and 1 group japarejo tdg
  • Comparison of software product line architecture design methods: COPA, FAST, FORM, KobrA and QADA
    Software Engineering, 2004. ICSE 2004. Proceedings. 26th International Conference on (2004), pp. 127-136.
    by M Matinlassi
    posted to spl survey by benavides on 2007-07-04 17:29:21 as *** along with 1 group tdg
  • Classifying variability modeling techniques
    Information and Software Technology, Vol. 49, No. 7. (July 2007), pp. 717-739.
    by Marco Sinnema, Sybren Deelstra
    posted to survey variability by benavides on 2007-07-04 16:52:13 as **** along with 3 people and 2 groups MichaelMoser oscar fabriciaroos onekin tdg
  • Industrial Validation of COVAMOF
    Journal of Systems and Software, Vol. In Press, Accepted Manuscript
    by Marco Sinnema, Sybren Deelstra
    posted to covamof by benavides on 2007-07-04 16:49:56 as *** along with 1 group tdg
  • Propositional Satisfiability and Constraint Programming: A comparative survey
    ACM Comput. Surv., Vol. 38, No. 4. (2006)
    by Lucas Bordeaux, Youssef Hamadi, Lintao Zhang
    posted to csp sat survey by benavides on 2007-05-24 14:21:10 as ***** along with 2 people and 1 group bfraser yijunyu tdg
  • Ten commandments of formal methods... ten years later
    Computer, Vol. 39, No. 1. (2006), pp. 40-48.
    by JP Bowen, MG Hinchey
    posted to formal by benavides on 2007-05-24 10:59:18 as ***** along with 2 people and 2 groups leonardo oster tdg ecoo-ce
  • Ten commandments of formal methods
    Computer, Vol. 28, No. 4. (1995), pp. 56-63.
    by JP Bowen, MG Hinchey
    posted to formal by benavides on 2007-05-24 10:55:33 as ***** along with 1 person and 2 groups oster tdg ecoo-ce
  • Ten commandments revisited: a ten-year perspective on the industrial application of formal methods
    (2005), pp. 8-16.
    by Jonathan P Bowen, Michael G Hinchey
    posted to formal by benavides on 2007-05-24 10:54:22 as ***** along with 1 person and 1 group colcord tdg
  • Action research
    Commun. ACM, Vol. 42, No. 1. (January 1999), pp. 94-97.
    by David E Avison, Francis Lau, Michael D Myers, Peter A Nielsen
    posted to fundations miphisis by benavides on 2007-05-17 12:11:07 as ***** along with 6 people and 2 groups viller brownidj maike AndyDearden marclijour javieraespinosa tdg TSA
  • Writing good software engineering research papers: minitutorial
    (2003), pp. 726-736.
    by Mary Shaw
    posted to fundations by benavides on 2007-05-17 11:46:11 as ***** along with 8 people and 3 groups jolilius hayashi pejo maike rblake abecker japarejo alphabetagamma TUCS-ES_Lab tdg uiuc-cs
  • Is abstraction the key to computing?
    Commun. ACM, Vol. 50, No. 4. (April 2007), pp. 36-42.
    by Jeff Kramer
    posted to education fundations by benavides on 2007-04-02 13:10:36 as ***** along with 7 people and 3 groups cinemakinoeye yijunyu lanubile keigoi smogit OriginalLurch phbrownacmorg tdg CDG clab
    • NB: Du kan sitere denne siden som: http://www.citeulike.org/user/benavides

    Result page: 1 2 3 4 5 Next RIS BibTeX RSS
    CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.