User:Mickael.lecabellec/Books/soft-arch-t1
 | The Wikimedia Foundation's book rendering service has been withdrawn. Please upload your Wikipedia book to one of the external rendering services. |
 | You can still create and edit a book design using the Book Creator and upload it to an external rendering service:
|
| This user book is a user-generated collection of Wikipedia articles that can be easily saved, rendered electronically, and ordered as a printed book. If you are the creator of this book and need help, see Help:Books (general tips) and WikiProject Wikipedia-Books (questions and assistance). Edit this book: Book Creator · Wikitext Order a printed copy from: PediaPress [ About ] [ Advanced ] [ FAQ ] [ Feedback ] [ Help ] [ WikiProject ] [ Recent Changes ] | ||||||||
software architecture T1
[edit]- Software architect
- Software architecture
- 4+1 architectural view model
- Abstraction of transport/protocol connectivity
- ADvantage Framework
- Agent architecture
- Agent Open Service Interface Definition
- Anemic domain model
- Anti-pattern
- Application domain
- Application server
- Application service architecture
- Architecturally Significant Requirements
- Architecture Analysis & Design Language
- Architecture description language
- Architecture framework
- Architecture of Interoperable Information Systems
- Architecture tradeoff analysis method
- Architecture-driven modernization
- ARID
- Artificial intelligence systems integration
- Assessment Open Service Interface Definition
- Attribute-driven design
- Authentication Open Service Interface Definition
- Authorization Open Service Interface Definition
- AUTOSAR
- Bistro Framework
- Blackboard system
- BORO
- Business domain
- Business logic
- Cohesion (computer science)
- Colony Framework
- Command-line interface
- Common Component Architecture
- Component-based software engineering
- Composite UI Application Block
- Composition over inheritance
- Connascence (computer programming)
- Connection broker
- Coupling (computer programming)
- CourseManagement Open Service Interface Definition
- Darwin (ADL)
- Data, context and interaction
- Database-centric architecture
- Debugging patterns
- Demonolithicized application
- Dependency injection
- Desktop metaphor
- Dictionary Open Service Interface Definition
- Digital nervous system
- Domain Application Protocol
- Domain-driven design
- Domain-specific software architecture
- Droplets (programming environment)
- EAST-ADL
- EFx Factory
- EMML (Motorola)
- Enterprise Mashup Markup Language
- Enterprise service bus
- Event-driven architecture
- Evocb
- Extensibility
- Fault-tolerant messaging
- Fault-tolerant software
- Federated Portal Network
- Filing Open Service Interface Definition
- Front and back ends
- Function model
- Functional design
- Functional software architecture
- Gemstone (database)
- GNUstepWeb
- Grading Open Service Interface Definition
- Graphical user interface
- Hierarchy Open Service Interface Definition
- IDEAS Group
- IEEE 1471
- IFIP Working Group 2.10
- Implicit invocation
- Integration Objects
- Interface metaphor
- Internet-Speed Development
- Inversion of control
- ISO/IEC 42010
- JSP model 1 architecture
- JSP model 2 architecture
- Knowledge Discovery Metamodel
- Lambda architecture
- Learning Tools Interoperability
- Library Oriented Architecture
- List of Flex frameworks
- Logging Open Service Interface Definition
- Machine-dependent software
- Magisto
- Mashup (web application hybrid)
- Java Message Service
- Messaging Open Service Interface Definition
- Metatable
- Mibe architecture
- Model–view–adapter
- Model–view–presenter
- Model–view–viewmodel
- MODELISAR
- Monolithic application
- Monolithic system
- Multilayered architecture
- Multimodal Architecture and Interfaces
- Multitenancy
- Multitier architecture
- Multiuse Model View
- MVC4WPF
- MySocialCloud
- Naked objects
- Node graph architecture
- Occasionally connected computing
- Office controller
- OOHDM
- Open architecture
- Open Service Interface Definitions
- OpenAPI Specification
- Overview of RESTful API Description Languages
- Pipe and filter architecture
- Platform-independent model
- Platform-specific model
- Presentation logic
- Presentation–abstraction–control
- Presenter First
- Principle of good enough
- Public interface
- QP (framework)
- Reference architecture
- Repository Open Service Interface Definition
- Representational state transfer
- Resource-oriented architecture
- Resource-oriented computing
- Rich client platform
- Rich Internet application
- Runahead solution
- SAP Enterprise Architecture Framework
- Scaffold (programming)
- Scheduling Open Service Interface Definition
- Search-oriented architecture
- Semantic architecture
- Semantic service-oriented architecture
- Service-oriented architecture implementation framework
- Service-oriented development of applications
- Service-oriented distributed applications
- Shared disk architecture
- Shared nothing architecture
- SIGMDSE
- Simulated reality
- Situational application
- Smart client
- Software analysis pattern
- Software architectural model
- Software Architectural Style
- Software architecture analysis method
- Software architecture description
- Software architecture recovery
- Software blueprint
- Software bus
- Software framework
- Solution architecture
- Space-based architecture
- SQALE
- Staged event-driven architecture
- Subsumption architecture
- Sun Web Developer Pack
- Synchrony abstraction
- Synthetic Environment for Analysis and Simulations
- Systems architecture
- Target–action
- Task computing
- Technical debt
- Time-triggered architecture
- Transparency (human–computer interaction)
- Transport/protocol abstraction
- UIMA
- User onboarding
- Web API
- Web application
- Web container
- Web-oriented architecture
- Workflow Open Service Interface Definition
- Wright (ADL)
- XRX (web application architecture)
- Outline of software engineering
- Software engineering
- Index of software engineering articles
- Approximate computing
- History of software engineering
- Human Trust for Serviceability
- List of software development philosophies
- Loop perforation
- Memory safety
- Meta-process modeling
- Mixed criticality
- Overhead (computing)
- Physical Data Flow
- Prosa Structured Analysis Tool
- Quality engineering
- Reusability
- Round-trip engineering
- Runtime error detection
- Search-based software engineering
- Service virtualization
- Service-oriented software engineering
- Site reliability engineering
- Social software engineering
- Software analyst
- Software configuration management
- Software construction
- Software development process
- Software diagnosis
- Software durability
- Software engineer
- Software engineering demographics
- Software engineering professionalism
- Software map
- Software portability
- Software system safety
- Software trustworthiness
- Software visualization
- Specification language
- User:Stefano.cherubin/sandbox
- Structural synthesis of programs
- System appreciation
- System context diagram
- System requirements specification
- Systems development life cycle
- Systems modeling
- Task skipping
- Traceability
- View model
- Web engineering
- Software design
- Acyclic dependencies principle
- Android Developer Challenge
- Behavior-driven development
- Blinking twelve problem
- Catalysis software design method
- Class-responsibility-collaboration card
- COLA (software architecture)
- Comparison of software prototyping tools
- ConcurTaskTrees
- Continuous delivery
- Continuous design
- Convention over configuration
- Conway's law
- Decomposition (computer science)
- Design by contract
- Design marker
- Design process (computing)
- Design rationale
- DevOps toolchain
- Domain (software engineering)
- Domain analysis
- Domain engineering
- End-user development
- Example-Centric Programming
- Feature-oriented domain analysis
- FOSD Mixin Layers
- Framework-oriented design
- Functional specification
- GRASP (object-oriented design)
- HOOD method
- IDEF6
- Interaction Flow Modeling Language
- Interactive design
- Interface segregation principle
- The Karlskrona Manifesto
- Layer (object-oriented design)
- Low-level design
- Metacompiler
- Metamodeling
- Motor Industry Software Reliability Association
- Object-oriented analysis and design
- Object-oriented design
- Object-oriented modeling
- Open/closed principle
- Open Source Software World Challenge
- Package principles
- Paper prototyping
- Policy-based design
- Responsibility-driven design
- Rule of least power
- Shlaer–Mellor method
- Single responsibility principle
- Slow design
- Software design description
- Software-defined infrastructure
- SOLID (object-oriented design)
- Story-driven modeling
- Structured analysis
- Structured systems analysis and design method
- Systems design
- ThoughtWorks
- Top-down and bottom-up design
- Uniform access principle
- Virtuality (software design)
- Worse is better
- Formal methods
- Abstract state machines
- ABZ Conference
- Algebraic semantics (computer science)
- Algebraic specification
- Algorithm characterizations
- And-inverter graph
- Applicative Universal Grammar
- Assertion (software development)
- Asynchronous system
- Automated proof checking
- Automated theorem proving
- B-Method
- BHDL
- Bigraph
- Binary moment diagram
- Bisimulation
- Boolean satisfiability problem
- Business process validation
- Categorical set theory
- CompCert
- Computer-assisted proof
- Concurrency semantics
- Construction and Analysis of Distributed Processes
- Continued process verification
- Critical process parameters
- Critical quality attributes
- Dependability
- Design space verification
- DREAM (software)
- Dynamic timing verification
- E-LOTOS
- Extended finite-state machine
- Extended static checking
- Formal equivalence checking
- Formal specification
- Formal verification
- Gödel logic
- High- and low-level
- Hindley–Milner type system
- Homotopy type theory
- International Conference on Software Engineering and Formal Methods
- Invariant (computer science)
- Invariant-based programming
- Lambda calculus
- Language Of Temporal Ordering Specification
- Life-critical system
- Liskov substitution principle
- Logic in computer science
- Loop invariant
- Loop variant
- Lustre (programming language)
- McCarthy 91 function
- Model-based specification
- Mondex
- Oracle Unified Method
- PlusCal
- POPLmark challenge
- Postcondition
- Precondition
- Predicate transformer semantics
- Predicative programming
- Prentice Hall International Series in Computer Science
- Process performance qualification protocol
- Process qualification
- Process validation
- Production equipment control
- Proof-carrying code
- QED manifesto
- Rational Unified Process
- RCOS (computer sciences)
- Refinement (computing)
- Refinement calculus
- Regulated rewriting
- Retiming
- Retrenchment (computing)
- Robbins algebra
- Runtime verification
- Satisfiability modulo theories
- Semantics (computer science)
- Set theory
- SIGNAL (programming language)
- SLAM project
- State space enumeration
- Static timing analysis
- Statistical static timing analysis
- Strict function
- Stuttering equivalence
- Symbolic simulation
- Syntactic methods
- TLA+
- Turing machine
- UML state machine
- Software verification and validation
- Verification and validation of computer simulation models
- Verification condition generator
- Vienna Development Method