Filtry
wszystkich: 20085
-
Katalog
- Publikacje 14924 wyników po odfiltrowaniu
- Czasopisma 45 wyników po odfiltrowaniu
- Osoby 470 wyników po odfiltrowaniu
- Wynalazki 299 wyników po odfiltrowaniu
- Projekty 203 wyników po odfiltrowaniu
- Laboratoria 21 wyników po odfiltrowaniu
- Zespoły Badawcze 33 wyników po odfiltrowaniu
- Aparatura Badawcza 32 wyników po odfiltrowaniu
- Kursy Online 1736 wyników po odfiltrowaniu
- Wydarzenia 439 wyników po odfiltrowaniu
- Oferty 1 wyników po odfiltrowaniu
- Dane Badawcze 1882 wyników po odfiltrowaniu
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: zaufanie do oprogramowania
-
Zaufanie do siebie jako jeden z aspektów zaufania w aktywności przedsiębiorczej
PublikacjaArtykuł prezentuje znaczenie zaufania do samego siebie na tle zaufania w relacjach budowanych przez przedsiębiorcę w jego otoczeniu społecznym i biznesowym. Wyjaśniono koncepcję zaufania do samego siebie, odnosząc się do zróżnicowanych typów zaufania, na przykład: kalkulacyjnego, opartego na wiedzy i identyfikacyjnego. Wskazano jego potencjalne źródła i konsekwencje w kontekście budowania własnego wizerunku, podejmowania decyzji...
-
Skala Zaufania do Przełożonego jako narzędzie do mierzenia zaufania do menedżerów
Publikacja -
Kadra zarządzająca a zaufanie do wymiaru sprawiedliwości
PublikacjaNa negatywny obraz wymiaru sprawiedliwości w Polsce wpływa wiele czynników, m.in. brak skutecznej reformy, niestosowanie zasad etycznych przez niektórych jego uczestników, brak efektywnej współpracy pomiędzy konstytucyjnymi organami zajmującymi się sądownictwem, a także brak dbałości o wizerunek. W przypadku pojedynczego sądu, za część negatywnych wizerunkowo przypadków obniżających społeczne zaufanie do sądów odpowiada jego kadra...
-
Nowe podejście do oceny szacowania złożoności oprogramowania
PublikacjaW tej publikacji przedstawione zostały metody szacowania złożoności oprogramowania oraz ich proponowane modyfikjacje. Szacowanie złożoności jest niezbędne podczas realizacji projektu informatycznego w celu określenia jego kosztów związanych z koniecznością wykorzystania zasobów, by w rezultacie mozna było uzyskać zamierzony efekt, jakim jest dostarczenie klientowi satysfakcjonującego go produktu. Najpierw przedstawiony został teoretyczny...
-
Zaufanie a sieci przedsiębiorstw
PublikacjaRozdział dotyczy analizy wpływu zaufania społecznego na powstawanie i funkcjonowanie sieci przedsiębiorstw. Autor posługuje się rozróżnieniem zaufania kruchego (fragile)i trwałego (resilent). Proponuje też wykorzystanie hipotez sformułowanych przez P. Smitha Ringa do badań nad rolą zaufania w sieciach przedsiębiorstw.
-
Blockchain: zdecentralizowane zaufanie
PublikacjaBitcoin wprowadził innowację na wielu płaszczyznach. Jako pierwszy rozwiązał problem osiągania konsensusu w sieciach otwartych, stworzył zagadkę ekonomiczną w postaci globalnej waluty deflacyjnej, pozwolił na transfer pieniędzy tym, którzy wcześniej byli wykluczeni bankowo, ale przede wszystkim stworzył fundamenty pod platformę zdecentralizowanego zaufania. Zapoczątkował technologie zdecentralizowanych aplikacji, które dotychczas...
-
Zaufanie do marek jako mediator pomiędzy postrzeganym ryzykiem i skłonnością do elektronicznego word-of-mouth
PublikacjaRozwój Internetu oraz dostęp konsumentów do mediów społecznościowych wpływają na ich zaangażowanie on-line. Odzwierciedla to również sposób, w jaki konsumenci wyrażają opinie o markach i produktach w Sieci. Celem ankiety było zbadanie wpływu postrzeganego ryzyka i zaufania do marki na skłonność konsumentów do electronic word-of-mouth (eWOM). Ponadto, autorzy zbadali rolę zaufania do marki jako mediatora w relacji między postrzeganym...
-
Analiza problemu zaufania do ontologii dla różnych modeli wnioskowania
PublikacjaW rzeczywistych systemach zarządzania wiedzą, a przede wszystkim w systemach rozproszonych gromadzących wiedzę z różnych źródeł, problem niepewności i zaufania do ontologii, jak również odpowiedzi udzielanych przez bazy wiedzy nabiera szczególnego znaczenia. Sformalizowanie problemu i przyjęcie właściwego modelu wnioskowaniaw różnych zastosowaniach wymaga szczegółowej analizy. Niniejsza praca podejmuje próbę usystematyzowania tej...
-
Podejście obiektowe w budowie dowodu zaufania do systemów informatycznych.
PublikacjaArtykuł prezentuje obiektowe podejście w budowie dowodów zaufania dla systemów informatycznych. Przedstawiono strukturę koncepcyjną takiego dowodu,omówiono sposób konstrukcji drzewa dowodowego wykorzystujący analizę modeli obiektowych badanego systemu. W artykule zaproponowano sposób tworzenia obiektowych modeli kontekstu dla rozpatrywanych żądań oraz podkreślono wagę precyzyjnego wyrażenia tego kontekstu. Ponadto omówiono...
-
Współczesne metody zapewniania jakości oprogramowania. Od klasyki do zwinności
PublikacjaKsiążka opisuje problematykę jakości w kontekście metod wytwarzania oprogramowania. Składa się z 22 rozdziałów podzielonych na 6 części: Znaczenie jakości oprogramowania, Podstawowe pojęcia i problemy jakości, Jakość w ujęciu klasycznym, Pomiary jakości, Dokumentacja i normy jakości procesu, Jakość w podejściu zwinnym. Zebrany materiał pokazuje ewolucję podejścia do jakości w klasycznych metodykach wytwarzania (od modelu kaskadowego...
-
Jakość oprogramowania w zwinnym podejściu do zarządzania projektami informatycznymi
PublikacjaCel: Celem artykułu jest ocena, czy wykorzystanie podejścia zwinnego Scrum w organizacji podnosi jakość wytwarzanego oprogramowania oraz próba uzyskania odpowiedzi na pytanie, jak nowelizacja Przewodnika po Scrumie (Scrum Guide) z listopada 2020 roku wpłynęła na proces wytwarzania oprogramowania. Projekt badania/metodyka badawcza/koncepcja: Przyjętą metodyką badawczą jest przegląd literatury przedmiotu oraz badania własne autora....
-
Wykorzystanie metod zorientowanych obiektowo do programowania sterowników programowalnych
PublikacjaW artykule zostały przedstawione główne udogodnienia wynikające z wykorzystywania zasad i metod podejścia obiektowego do programowania sterowników programowalnych. Omówiona została aktualna sytuacja tradycyjnych języków tekstowych i graficznych po wprowadzeniu rozszerzenia IEC 61499 normy IEC61131. W dalszej części zaprezentowano podział cyklu tworzenia programu na trzy zasadnicze części - analizę, projektowania oraz programowanie...
-
Pakiet oprogramowania do obróbki sekwencji termograficznych w aktywnej termografii dynamicznej
Publikacja.
-
Zastosowania metodyki Kansei do doskonalenia interfejsów oprogramowania wykorzystywanego w telepracy
PublikacjaArtykuł przedstawia możliwości wykorzystania metodyki Kansei Engineering do projektowania ulepszeń interfejsów oprogramowania wykorzystywanego w prowadzeniu telepracy. W artykule zostały zaprezentowane: podstawy metodyki Kansei Engineering, informacje o telepracy oraz podstawowe zagadnienia związane z projektowaniem interfejsów oprogramowania.
-
Licencjonowanie oprogramowania
PublikacjaWolne i otwarte oprogramowanie przeżywa ostatnimi laty rozkwit. Co raz więcej przedsiębiorstw komercyjnych opiera rozwój swoich firm na otwartym oprogramowaniu. Zarówno mali, jak i duzi gracze mają świadomość komplikacji współczesnych systemów i niemożności samodzielnego ich rozwoju. Z pomocą przychodzi otwarte podejście do wytwarzania oprogramowania. Wymaga to jednak pewnego zrozumienia uwarunkowań prawnych, a w szczególności...
-
Zaufanie w systemach płatności online.
PublikacjaW artykule omówiono problematykę związaną z dokonywaniem płatności drogą elektroniczną. Przedstawiono przyczyny częstego braku zaufania do tej formy dokonywania transakcji oraz sformułowano zakres badań niezbędnych do określenia, czy przyczyny takiego stanu rzeczy są zbliżone w Polsce i na świecie.
-
Zaufanie w detalicznych transakcjach internetowych
PublikacjaAutor wprowadza rozróżnienie pomiędzy zaufaniem w relacji interpersonalnej (RI) i nieinterpersonalnej (RN). Odwołując się do analizy Dylematu Więźnia w teorii gier i przywołując teorię kooperacji B. Williamsa, autor pokazuje, że logiczna struktura zaufania powinna zostać uzupełniona przez nieegoistyczne mikro-motywacje. W detalicznym handlu elektronicznym istnieją dwie przeciwstawne tendencje: człowiek i technika. Technologia powoduje...
-
Zastosowanie programowania celowego do oceny stabilności skomplikowanych układów ekonomicznych
PublikacjaJednym z poważnych problemów gospodarki krajów postkomunistycznych jest niestabilne funkcjonowanie przedsiębiorstw przemysłowych. Szczególnego znaczenia nabiera wypracowanie takich mechanizmów decyzji w zakresie zarządzania aby stłumić lub złagodzić czynniki wywierające negatywny wpływ na działalność systemów ekonomicznych. Naszym zadaniem jest określenie pojęcia stabilności układu ekonomicznego (przedsiębiorstwa) oraz podstawowych...
-
Zastosowanie programowania dynamicznego do planowania dobowej pracy elektrowni pompowych
PublikacjaW artykule przedstawiono algorytm obliczeń wykorzystujący programowanie dynamiczne do planowania pracy elektrowni pompowych w systemie elektroenergetycznym. Przedstawiono wyniki obliczeń planów dobowej pracy przykładowej elektrowni pompowej.
-
Specyfika relacji sądów z interesariuszami. W kierunku budowania zaufania do sądów
PublikacjaSpołeczna odpowiedzialność instytucji publicznych, w tym sądów, powinna być oparta na etycznych relacjach z interesariuszami. Na obecną chwilę wiedza w zakresie zarządzania relacjami z interesariuszami, w szczególności rozpoznanie motywów, jakie skłaniają decydentów do podejmowania konkretnych działań wobec różnych grup interesariuszy, jest wciąż bardzo słabo rozpoznanym obszarem. Z tego względu w artykule podjęto rozważania dotyczące...
-
Etyczne aspekty zaufania.
PublikacjaArtykuł analizuje komponenty składające się na fenomen zaufania, ze szczególnym uwzględnieniem sfery etycznej.
-
Standardy akredytacyjne w obszarze praw pacjenta jako niefinansowy generator kreujący zaufanie do usług zdrowotnych
PublikacjaW niniejszej publikacji autor zaprezentował podstawowe aspekty dotyczące akredytacji usług zdrowotnych w Polsce. Omówiony został obszar praw pacjenta wraz z charakterystyką standardów elementarnych. Autor zaprezentował także badania własne dotyczące postrzegania przez pacjentów ważności tego typu standardów w kontekście jakości usług zdrowotnych.
-
Techniki inżynierii oprogramowania służące do tworzenia portali o określonych własnościach społecznych
PublikacjaW referacie zawarto próbę odpowiedzi na następujące pytanie: czy w czasie wytwarzania oprogramowania można wpływać na własności społeczne tworzonych portali? zakładając, że jest to możliwe, poszukiwane są takie techniki z pogranicza socjologii i inżynierii oprogramowania, które będą udostępniały analitykom i projektantom oprogramowania pewien proces, dzięki któremu możliwe będzie systematyczne i świadome kontrolowanie tych własności...
-
Wstęp do optymalizacji konstrukcji fotelika samochodowego do przewozu dzieci z wykorzystaniem oprogramowania CAD i MES
PublikacjaW artykule opisano najważniejsze funkcje fotelika. Omówiono przebieg prac projektowych fotelik samochodowego do przewozu dziecka w samochodzie na podstawie wdrożonego do produkcji projektu. Przedstawiono konstrukcje zbudowanych prototypów oraz wybrane wyniki optymalizacji MES.
-
Oprogramowanie do modelowania i analizy rozpływu ciepła w strukturach warstwowych
Publikacja.
-
Oprogramowanie Saphira do rozmytej autonomicznej nawigacji robota mobilnego Pioneer 2CE
PublikacjaPraca obejmuje analizę wykorzystania logiki rozmytej do nawigacji autonomicznego robota mobilnego Pioneer 2CE w nieznanym otoczeniu, przy użyciu architektury oprogramowania Saphira. W opracowaniu przestawiono podstawy rozmytej nawigacji, strukturę sterownika rozmytego i architekturę oprogramowania Saphira. Przedstawiono platformę mobilną Pioneer 2CE, symulator robota i sposób jego sterowania.
-
Zastosowanie wysokopoziomowych języków programowania do wyznaczania nośności przemieszczeniowych pali wkręcanych.
PublikacjaW artykule podjęta zostaje problematyka współczesnego, bardziej ekonomicznego projektowania pali. Rozwiązania normowe np. PN-83-B-2482, bazują zazwyczaj na wielkościach takich jak stopień zagęszczenia czy stopień plastyczności. Powoduje to, że dane uzyskane bezpośrednio z badań podłoża są korelowane podwójnie. W niniejszym opracowaniu proponuje się, aby korzystając z funkcji transformacyjnych wyznaczać nośność pala bezpośrednio...
-
Proces wytwarzania oprogramowania
PublikacjaPraca wprowadza w zagadnienia organizacji procesu wytwórczego, omawia uznanestandardy procesu i ich wykorzystanie w przedsiębiorstwie. Omówienie podsta-wowych problemów prowadzenia projektu informatycznego poszerzono o krótkąprezentację dwu istotnych, choć rzadziej prezentowanych, zagadnien: politykiprowadzenia projektu oraz etyki w realizacji projektu informatycznego.
-
Technologie wytwarzania oprogramowania
PublikacjaPraca poświęcona została dwóm najpowszechniejszym współcześnie technologiomwytwórczym - podejściu strukturalnemu i obiektowemu. W obu przypadkach omó-wienie skupia się na zagadnieniach i metodach modelowania i projektowania,w obu też jest ono bogato ilustrowane przykładami.
-
Zastosowanie oprogramowania COMSIS do oceny dynamicznej odporności na zakłócenia cyfrowych układów kombinacyjnych.
PublikacjaWyniki badania odporności układów cyfrowych na zakłócenie dynamiczne w istotny sposób zależą od parametrów sygnału stymulującego. Proponowana metodyka zakłada pobudzanie badanego układu sygnałem szumu białego o określonej szerokości pasma częstotliwości. Badania symulacyjne z modelem układu progowego oraz szybkiego komparatora z histerezą przeprowadzono w środowisku COMSIS. Uzyskane wyniki potwierdzają, że im węższe pasmo szumu...
-
An approach to evaluation of arguments in trust cases
PublikacjaTrustworthiness of IT systems can be justified using the concept of a trust case. A trust case is an argument structure which encompasses justification and evidence supporting claimed properties of a system. It represents explicitly an expert's way of assessing that a certain object has certain properties. Trust cases can be developed collaboratively on the basis of evidence and justification of varying quality. They can be complex...
-
Sprawna kanalizacja. Studzienka zaufania
PublikacjaPodgarszające się warunki eksploatacyjne systemów. Wzrost znaczenia kanalizacyjnej studzienki rewizyjnej. Nowe wymagania w zakresie prowadzenia kanałów.
-
Oprogramowanie do doboru charakterystyk modelu propagacyjnego na potrzeby projektowania sieci kognitywnych
PublikacjaKoncepcja sieci kognitywnej, czyli „inteligentnej” sieci radiowej dostosowującej swoje parametry do zmieniającego się wokół środowiska propagacyjnego, jest przyszłością dla komunikacji radiowej. Opracowane oprogramowanie symuluje działanie radia kognitywnego i ma pomóc w procesie projektowania rzeczywistych systemów radiowych, wykorzystując do tego celu mapę cyfrową. W artykule zostanie przedstawiona idea radia kognitywnego, zastosowane...
-
Internet jako idealne medium dla pomiaru poziomu zaufania społeczeństwa informacyjnego do nowych technologii
PublikacjaInternet, jak nic dotąd, zrewolucjonizowało urządzenie, jakim jestkomputer oraz komunikacje w świecie. Wynalazki telegrafu, telefonu, radia i komputera stworzyły zdolność bezprecedensowej integracji. Internet stał się niemal natychmiast ogólnoświatowym medium dla współpracy i współdziałania między społeczeństwami, gospodarkami i osobami korzystającymi z komputerów bez względu na położenie geograficzne.
-
Zaufanie w zespole projektowym a (kobiecy) model przywództwa
PublikacjaArtykuł prezentuje wyniki badań dotyczące znaczenia czynników kształtujących zaufanie w pracy zespołowej, do których należą: adekwatne nagradzanie, dzielenie się informacjami, ustalone cele i zasady pracy, przejrzystość środowiska i otwarta komunikacja. Wyniki koncentrują się na zachowaniach lidera/ przywódcy, które maja wpływ na kształtowanie zaufanie w zespole i pokazują różnice w zależności od płci.
-
Strategia zapewnienia jakości oprogramowania.
PublikacjaW referacie zaproponowano strategię zapewnienia jakości oprogramowania, bazując na działaniach w następujących obszarach: określenie definicji jakości oraz sposobu weryfikacji jej osiągnięcia; dobór technik dotyczących poprawy produktu; poprawa procesu wytwarzania oprogramowania; podnoszenie kultury jakości organizacji.
-
Tradycyjne cykle życia oprogramowania
PublikacjaPraca prezentuje uznane i powszechnie stosowane cykle wytwarzania i ewolucjioprogramowania systemów informatycznych, takie jak cykl klasyczny (kaskado-wy), model V wytwarzania z zapewnianiem jakości, prototypowanie wymagań, mo-del spiralny i przyrostowy. Nieduży przykład ilustruje sposób doboru strate-gii wytwarzania.
-
Współczesne cykle wytwarzania oprogramowania
PublikacjaPraca omawia inne stosowane współcześnie cykle wytwórcze. Do dyskusji wybra-ne zostały modele, których wykorzystanie przynosi satysfakcjonujące rezulta-ty (wytwarzanie obiektowe, ponowne użycie oprogramowania z wykorzystaniemkomponentów i wzorców, ponowna inżynieria systemów), podejścia, których sto-sowanie nie jest oceniane jednoznacznie (jak to ma miejsce w wypadku metody-ki SSM Checklanda) oraz modele uważane, obok wymienionych,...
-
Przegląd miar oceny oprogramowania
PublikacjaProblem oceny oprogramowania istnieje od momentu pojawienia się pierwszego programu komputerowego. Historycznie miary jakości oprogramowania miały zupełnie inne przeznaczenie, gdyż skupiały się na częstotliwości defektów lub błędów oprogramowania. Błędnie bazowało to na założeniu, że jakość oprogramowania to brak błędów. Stąd też używano prostej statystyki typu liczby błędów, wykrytych w określonym przedziale czasu (np. rocznym)...
-
3d imaging software tools for multibeam sonar data
PublikacjaArtykuł porusza problem trójwymiarowej wizualizacji dna morskiego na podstawie danych pochodzących z systemu wielowiązkowego. W prezentowanym systemie wykorzystano trzy technologie programistyczne do wytwarzania grafiki 3D (C++ OpenGL, Java 3D, Java OpenGL). W artykule przedstawiono problemy, na które natknięto się podczas tworzenia systemu coraz omówiono sposoby ich rozwiązywania.
-
Budowanie zaufania w relacjach interentowych
PublikacjaArtykuł prezentuje znaczenie zaufania w relacjach interpersonalnych oraz wpływ globalizacji na proces budowania i percepcji zaufania pomiędzy uczestnikami relacji społecznych. Przedstawiono badania własne, w których autorka zweryfikowała postawy badanych wobec zaufania w relacjach internetowych i poziom wiarygodności partnera w komunikacji odbywającej się z wykorzystaniem różnych internetowych funkcjonalności (forum internetowe,...
-
Kryteria oceny metody wspomagającej interakcję klient-Dostawca oprogramowania i ich zastosowanie do metody WIKLIDO
PublikacjaW rozdziale przedstawiono metodę Wspomagania Interakcji KLIent-Dostawca Oprogramowa-nia (WIKLIDO) oraz wyjaśniono w jaki sposób wykorzystano metodę GQM (ang. Goal Question Metrics) do systematycznego wywiedzenia metryk oceny tej metody.
-
Programowanie strukturalne
PublikacjaCelem niniejszej książki jest przedstawienie wybranych metod programowania strukturalnego, tzn. takich, które prowadzą do poprawnej struktury, poprawy jakości oprogramowania oraz zwiększenia efektywności programistów. Może ona służyć jako podręcznik akademicki wykorzystywany na podstawowych kursach inżynierii oprogramowania. Zainteresuje również wszystkich tych, którzy zajmują się programowaniem amatorskim i chcą poszerzyć swoją...
-
Pomiar rozmiaru i prcochłonności oprogramowania
PublikacjaZależność pomiędzy rozmiarem wytworzonego oprogramowania a pracochłonnością jest istotną wskazówką dla skutecznego planowania procesu wytwórczego oraz konstruowania harmonogramów. W referacie skupiono się na fragmencie tego problemu dotyczącą miar oraz technik pomiaru rozmiaru i pracochłonności związanych z realizacją przedsięwzięcia informatycznego. Przedstawiono główne miary rozmiaru i pracochłonności oraz zaprezentowano narzędzie...
-
Aspekty metodologiczne interdyscyplinarnej inżynierii oprogramowania
PublikacjaInterdyscyplinarna inżynieria oprogramowania jest nowym nurtem w inżynierii oprogramowania, który ma prowadzić do rozwiązania istniejących problemów poprzez badanie natury zjawisk i technik projektowych w kontekście interdyscyplinarnym. W referacie zidentyfikowano podstawowe zagadnienia metodologiczne, które należy wziąć pod uwagę w celu efektywnego prowadzenia badań oraz przeprowadzono ich dyskusję. Następnie podjęto próbę wyodrębnienia...
-
Uniwersyteckie Centrum Kompetencyjne Technologii Oprogramowania
PublikacjaPoniższy rozdział stanowi rodzaj case study, gdzie na przykładzie Uniwersyteckiego Centrum Kompetencyjnego Technologii Oprogramowania funkcjonującego przy Politechnice Gdańskiej przedstawiona została koncepcja powoływania i funkcjonowania centrów rozwijania technologii informatycznych tworzony przy uczelniach wyższych przy współpracy z partnerami biznesowymi. Przedstawione zostały potrzeby powoływania takich jednostek organizacyjnych,...
-
Internetowy system oceny jakości oprogramowania
PublikacjaPrzedstawiono nową wersję systemu oceny jakości oprogramowania QES), zrealizowaną w technologii WWW. QES charakteryzuje się bardziej elastycznym modelem jakości oraz zawiera znacznie większą funkcjonalność niż jego poprzednik (SOJO). Pozostawia użytkownikowi dużą swobodę oceny konkretnego procesu wytwarzania lub produktu wynikającego z tego procesu. Zapewnia możliwość porównania jakości różnych metodologii lub szczegółowych rozwiązań....
-
Trendy, wyzwania w inżynierii oprogramowania
PublikacjaWywiad z prof. Januszem Górskim.
-
Platforma KASKADA - proces wytwarzania oprogramowania
PublikacjaZostał przedstawiony proces wytworzenia Platformy KASKADA służącej do przetwarzania strumieni multimedialnych w rozproszonym środowisku superkom-putera. Przedstawiono wymagania dotyczące Platformy, a następnie opisano przyjętą metodykę wytwarzania. Opi-sano przebieg poszczególnych iteracji procesu. Przedsta-wiono proces wytwarzania usług, od implementacji algo-rytmu, przez wdrożenie na Platformę, aż po akceptację i udostępnienie...
-
A new open-source software developed for numerical simulations usingdiscrete modeling methods
PublikacjaThe purpose of this work is to present the development of an open-source software based on a discrete description of matter applied to study the behavior of geomaterials. This software uses Object Oriented Programming techniques, and its methodology design uses three different methods, which are the Discrete Element Method (DEM) [F. Donzé, S.A. Magnier, Formulation of a three-dimensional numerical model of brittle behavior, Geophys....