Registrera dig | Logga in | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

plauggs library [137 articles]

Senaste artiklarna i plauggs bibliotek.
  • An approach for tracing and understanding asynchronous architectures
    Automated Software Engineering, 2003. Proceedings. 18th IEEE International Conference on (2003), pp. 318-322.
    by SA Hendrickson, EM Dashofy, RN Taylor
    posted to no-tag by plaugg on 2007-06-01 09:04:33 as **
  • Module Dependences in Software Design
    : Radical Innovations of Software and Systems Engineering in the Future (2004), pp. 198-203.
    by Daniel Jackson
    posted to no-tag by plaugg on 2007-04-19 16:05:46 as read along with 1 person KarlKlose
  • Formal Specification and Analysis of Software Architectures Using the Chemical Abstract Machine Model
    IEEE Trans. Softw. Eng., Vol. 21, No. 4. (April 1995), pp. 373-386.
    by Paola Inverardi, Alexander L Wolf
    posted to no-tag by plaugg on 2007-04-19 11:57:55 as **
  • Variability management with feature-oriented programming and aspects
    SIGSOFT Softw. Eng. Notes, Vol. 29, No. 6. (November 2004), pp. 127-136.
    by Mira Mezini, Klaus Ostermann
    posted to no-tag by plaugg on 2007-04-18 16:50:28 as ***
  • Improving system dependability by enforcing architectural intent
    (2005), pp. 1-7.
    by Marwan Abi-Antoun, Jonathan Aldrich, David Garlan, Bradley Schmerl, Nagi Nahas, Tony Tseng
  • Meta-programming Grey-box Connectors
    (2000)
    by U Amann, T Genler, H Bar
  • Representing concerns in source code
    ACM Trans. Softw. Eng. Methodol., Vol. 16, No. 1. (February 2007)
    by Martin P Robillard, Gail C Murphy
  • An Introduction to Software Architecture
    (1994)
    by David Garlan, Mary Shaw
  • Foundations for the study of software architecture
    SIGSOFT Softw. Eng. Notes, Vol. 17, No. 4. (October 1992), pp. 40-52.
    by Dewayne E Perry, Alexander L Wolf
  • Design Patterns
    (15 January 1995)
    by Erich Gamma, Richard Helm, Ralph Johnson, John Vlissides
  • The 4+1 View Model of Architecture
    IEEE Softw., Vol. 12, No. 6. (November 1995), pp. 42-50.
    by Philippe Kruchten
  • Software Architecture in Practice, Second Edition
    (09 April 2003)
    by Len Bass, Paul Clements, Rick Kazman
  • SABER: smart analysis based error reduction
    Vol. 29, No. 4. (July 2004), pp. 243-251.
    by Darrell Reimer, Edith Schonberg, Kavitha Srinivas, Harini Srinivasan, Bowen Alpern, Robert D Johnson, Aaron Kershenbaum, Larry Koved
    posted to java static_analysis testing by plaugg on 2006-12-07 12:14:20 as read along with 1 person schuh
  • Incremental Maintenance of Software Artifacts
    (2005), pp. 113-122.
    by Steven P Reiss
    posted to constraints enforcement incremental java meta-annotations by plaugg on 2006-12-06 16:08:24 as read
  • A system and language for building system-specific, static analyses
    (2002), pp. 69-82.
    by Seth Hallem, Benjamin Chelf, Yichen Xie, Dawson Engler
    posted to no-tag by plaugg on 2006-11-20 09:17:01 as ** along with 1 person schuh
  • Tool Support for Object-Oriented Patterns
    Lecture Notes in Computer Science, Vol. 1241 (1997), pp. 472-??.
    by Gert Florijn, Marco Meijers, Pieter van Winsen
    posted to design_patterns oo by plaugg on 2006-11-20 08:00:59 as read
  • Scalable error detection using boolean satisfiability
    SIGPLAN Not., Vol. 40, No. 1. (January 2005), pp. 351-363.
    by Yichen Xie, Alex Aiken
    posted to no-tag by plaugg on 2006-11-20 07:33:17 as * along with 1 person srccheck
  • Specifying framework constraints with FCL
    (2004), pp. 96-110.
    by Daqing Hou, James H Hoover, Piotr Rudnicki
    posted to static_analysis by plaugg on 2006-11-17 16:34:42 as read
  • Two controlled experiments assessing the usefulness of design pattern information during program maintenance
    (1998)
    posted to designpatterns metrics by plaugg on 2006-11-09 09:52:05 as read along with 1 person duckysherwood
  • Fast exact minimization of BDDs
    (1998), pp. 200-205.
    by Rolf Drechsler, Nicole Drechsler, Wolfgang G&\#252;nther
    posted to bdd by plaugg on 2006-10-30 15:15:57 as read
  • Improving the variable ordering of OBDDs is NP-complete
    Computers, IEEE Transactions on, Vol. 45, No. 9. (1996), pp. 993-1002.
    by B Bollig, I Wegener
    posted to bdd by plaugg on 2006-10-30 15:15:42 as read
  • Software Reflexion Models: Bridging the Gap between Design and Implementation
    IEEE Trans. Softw. Eng., Vol. 27, No. 4. (April 2001), pp. 364-380.
    by Gail C Murphy, David Notkin, Kevin J Sullivan
  • Statically Scanning Java Code: Finding Security Vulnerabilities
    IEEE Softw., Vol. 17, No. 5. (September 2000), pp. 68-74.
    by John Viega, Gary Mcgraw, Tom Mutdosch, Edward W Felten
    posted to java security static_analysis by plaugg on 2006-08-18 12:34:08 as ***
  • Identifying modules via concept analysis
    (1997), pp. 170-179.
    by Michael Siff, Thomas W Reps
    posted to java modules by plaugg on 2006-08-18 12:34:02 as **
  • Is Software Quality Visible in the Code?
    IEEE Softw., Vol. 15, No. 4. (July 1998), pp. 69-73.
    by S&\#248;ren Lauesen, Houman Younessi
    posted to no-tag by plaugg on 2006-08-18 12:33:21 as read
  • Design Recovery by Automated Search for Structural Design Patterns in Object-Oriented Software
    (1996)
    by Christian Kramer, Lutz Prechelt
    posted to dependency design oo patterns by plaugg on 2006-08-18 12:33:07 as **
  • Architecture, design, implementation
    (2003), pp. 149-159.
    by Amnon H Eden, Rick Kazman
    posted to architecture design by plaugg on 2006-08-18 12:22:14 as read along with 1 person klinsz
  • Monitoring compliance of a software system with its high-level design models
    (1996), pp. 387-396.
    by Mohlalefi Sefika, Aamod Sane, Roy H Campbell
    posted to design enforcement model by plaugg on 2006-08-15 15:11:22 as read
  • Diagnosing architectural degeneration
    Software Engineering Workshop, 2003. Proceedings. 28th Annual NASA Goddard (2003), pp. 137-142.
    posted to architecture enforcement java by plaugg on 2006-08-15 09:36:37 as read
  • Finding bugs with a constraint solver
    (2000), pp. 14-25.
    by Daniel Jackson, Mandana Vaziri
  • Using programmer-written compiler extensions to catch security holes
    (May 2002)
    posted to no-tag by plaugg on 2006-08-15 07:45:16 as ** along with 3 people mercutio ronnix srccheck
  • Software reflexion models: bridging the gap between source and high-level models
    (1995), pp. 18-28.
    by Gail C Murphy, David Notkin, Kevin Sullivan
    posted to no-tag by plaugg on 2006-08-13 21:56:29 as read
  • Lightweight extraction of object models from bytecode
    (1999), pp. 194-202.
    by Daniel Jackson, Allison Waingold
    posted to no-tag by plaugg on 2006-08-13 21:55:26 as **
  • Playing Detective: Reconstructing Software Architecture from Available Evidence
    Automated Software Engg., Vol. 6, No. 2. (April 1999), pp. 107-138.
    by Rick Kazman, Jeromy S Carri&\#232;re
    posted to architecture software by plaugg on 2006-08-13 21:53:17 as read
  • Lightweight extraction of object models from bytecode
    Software Engineering, IEEE Transactions on, Vol. 27, No. 2. (2001), pp. 156-169.
    posted to no-tag by plaugg on 2006-08-13 21:48:17 as **
  • Micro patterns in Java code
    SIGPLAN Not., Vol. 40, No. 10. (October 2005), pp. 97-116.
    by Joseph ( Gil, Itay Maman
    posted to java patterns by plaugg on 2006-08-11 13:38:45 as read along with 1 person klinsz
  • A highly-extensible, XML-based architecture description language
    Software Architecture, 2001. Proceedings. Working IEEE/IFIP Conference on (2001), pp. 103-112.
    posted to architecture language by plaugg on 2006-08-09 08:39:43 as read along with 2 people pongle hastudillo
  • A Survey of Architecture Description Languages
    (1996)
    by Paul C Clements
    posted to architecture language by plaugg on 2006-08-09 08:39:21 as read along with 3 people lfk hastudillo buchgeher
  • An infrastructure for the rapid development of XML-based architecture description languages
    (2002), pp. 266-276.
    by Eric M Dashofy, Andr&\#233; van der Hoek, Richard N Taylor
    posted to architecture language by plaugg on 2006-08-09 08:37:15 as read
  • Typestate: A programming language concept for enhancing software reliability
    IEEE Trans. Softw. Eng., Vol. 12, No. 1. (January 1986), pp. 157-171.
    by RE Strom, S Yemini
    posted to no-tag by plaugg on 2006-08-08 10:11:50 as read
  • Generalized typestate checking using set interfaces and pluggable analyses
    SIGPLAN Not., Vol. 39, No. 3. (March 2004), pp. 46-55.
    by Patrick Lam, Viktor Kuncak, Martin Rinard
    posted to no-tag by plaugg on 2006-08-08 10:07:49 as read
  • Continuous code-quality assurance with SAFE
    (2006), pp. 145-149.
    by Emmanuel Geay, Eran Yahav, Stephen Fink
    posted to no-tag by plaugg on 2006-08-08 08:51:07 as read along with 1 person schuh
  • Programming with Crosscutting Effective Views
    Vol. 3086 (November 2004), pp. 195-218.
    by Doug Janzen, Kris de Volder, Odersky Martin
    posted to aop architecture by plaugg on 2006-08-07 13:01:35 as read
  • Coping with Crosscutting Software Changes Using Information Transparency
    (2001), pp. 250-265.
    by William G Griswold
    posted to access_control architecture by plaugg on 2006-08-07 08:30:45 as read
  • Should architectural principles be enforced?
    Computer Security, Dependability and Assurance: From Needs to Solutions, 1998. Proceedings (1998), pp. 89-102.
    by NH Minsky
  • Obvious or not?: regulating architectural decisions using aspect-oriented programming
    (2002), pp. 3-9.
    by Mati Shomrat, Amiram Yehudai
    posted to archtiecture aspectj enforcement by plaugg on 2006-08-03 09:24:15 as read
  • DiscoTect: a system for discovering architectures from running systems
    Software Engineering, 2004. ICSE 2004. Proceedings. 26th International Conference on (2004), pp. 470-479.
    by Hong Yan, D Garlan, B Schmerl, J Aldrich, R Kazman
    posted to architecture enforcement java by plaugg on 2006-08-01 08:10:06 as read along with 2 people hastudillo JavaJoe
  • ArchJava: connecting software architecture to implementation
    (2002), pp. 187-197.
    by Jonathan Aldrich, Craig Chambers, David Notkin
  • Alice: Modularization of Middleware Using Aspect-Oriented Programming
    Lecture Notes in Computer Science, Vol. 3437 (January 2005), pp. 47-63.
    by Michael Eichberg, Mira Mezini
    posted to meta-annotations by plaugg on 2006-07-20 17:15:05 as read
  • Featherweight Java: A minimal core calculus for Java and GJ
    (1999), pp. 132-146.
    by Atshushi Igarashi, Benjamin Pierce, Philip Wadler
    posted to no-tag by plaugg on 2006-05-26 16:14:14 as *** along with 1 person and 1 group samth NU-PRL
  • Du kan hänvisa till den här sidan som: http://www.citeulike.org/user/plaugg

    Result page: 1 2 3 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.