Pull to refresh
  • by relevance
  • by date
  • by rating

Все, что вы хотели знать о моделях и коллекциях в Titanium

JavaScriptDevelopment of mobile applications
Но по какой-то причине боялись спросить.

Модели — достаточно важная часть приложения, потому что без данных никуда.

В этой статье я постараюсь максимально подробно осветить все аспекты использования моделей в MVC фреймворке для разработки мобильных приложений Appcelerator Titanium.

Если вы еще не пробовали связываться с моделями, то, надеюсь, эта статья сэкономит вам пару километров нервов.
Читать дальше →
Total votes 11: ↑10 and ↓1 +9
Views3.4K
Comments 0

Alloy Navigator: второй пилот для ИТ-инфраструктуры

Alloy Software
Вне зависимости от того, имеет компания свой развитый парк оборудования и программного обеспечения или предоставляет услуги по обслуживанию чужой ИТ-инфраструктуры, рано или поздно возникает необходимость в контроле и управлении. Причём важно правильно организовать управление не только на уровне рабочих станций, но и на уровне всей сети и подразделений. Можно использовать набор разрозненных инструментов, а можно вести весь учёт в едином интерфейсе. Последний подход позволяет комплексно оценивать состояние ИТ-активов, строить взаимосвязи, качественно и в срок обслуживать поступающие заявки и системно подходить к управлению инфраструктурой. Это экономит время, силы и нервы.


Основной задачей продукта Alloy Navigator является обеспечение эффективности, прозрачности и оперативности управления ИТ-инфраструктурой; это целостное функциональное решение управления активами, запросами пользователей, лицензированием и проч.
Что из этого вышло?
Total votes 18: ↑13 and ↓5 +8
Views13.1K
Comments 26

Что такое «Нативное приложение»?

JavaScriptDevelopment of mobile applications
Translation
Следующее высказывание с легкостью может прозвучать от того, кто только что начал изучать Titanium:
JavaScript?! Как Phonegap? Не, я лучше сделаю нативное приложение.

Разумеется, у меня были подобные беседы с клиентами, когда я был фриланс-разработчиком на Titanium. И уж конечно, как Developer Advocate, я частенько слышу это когда начинаю объяснять Titanium разработчикам, которые ищут кросс-платформенное решение для создания приложений.
Читать дальше →
Total votes 18: ↑11 and ↓7 +4
Views81.6K
Comments 35

А вот и IoT

Alloy SoftwareSystem administrationIT InfrastructureServer Administration
У каждой компании-разработчика настаёт такой период в жизненном цикле, когда приходит понимание того, что будущее уже здесь. И нужно срочно определить, ты уже в будущем, ты безнадёжно отстал или тебе его ещё можно догнать и встроиться в него. Мы много лет занимаемся системами мониторинга сети и управления ИТ-инфраструктурой. Ну то есть ITIL, SAM, ITSM — наше всё. В последнее время на конференциях, семинарах и конгрессах мы всё чаще сталкиваемся с понятием IoT (интернет вещей). Нам интересно, что ждёт нашу компанию в контексте этих процессов, как вообще IoT влияет на бизнес и как дальше жить. Мы изучили проблему, ответили на свои же вопросы и сегодня готовы поделиться рассуждениями с вами. Всё получилось не так визионерски и фантастически, как мы это предполагали. Проза жизни, проза технологий, и немного паники.


Читать дальше →
Total votes 21: ↑18 and ↓3 +15
Views8.9K
Comments 11

HyperX Alloy FPS — надёжность превыше всего

Kingston TechnologyGadgetsComputer hardwarePeripheryGames and game consoles
Продукция компании HyperX с самого начала была нацелена на тех, кому нужна была максимальная производительность и надёжность: профессионалы, игроки, оверклокеры. Первые продукты — отобранная и протестированная память, готовая работать на агрессивных таймингах и быстрые SSD с отличными показателями и расширенной гарантией легко завоевали сердца покупателей. Эксперимент с гарнитурами, построенными по тем же принципам: надёжность и эффективность — оказался удачным, и вот настало время ещё одного периферийного девайса.



Каждый раз, как на GT появляется тема с выходом новой (игровой) клавиатуры, она порождает знатную войну в комментариях. Начинается всё с прений на тему ISO’шный «гнутый» Enter против ANSI’шного «прямого», затем идёт критика дополнительных кнопочек, подсветок, выбранных свичей, материалов корпуса… В общем, традиции в комментах вы и сами соблюдёте, а пока встречайте: механическая клавиатура Alloy FPS. Красная подсветка, модный нынче минимализм и, ставший классическим для продукции HyperX акцент на надёжность — в комплекте.
Читать дальше →
Total votes 20: ↑17 and ↓3 +14
Views32.1K
Comments 49

HyperX Alloy Elite — железная заявка на победу

Kingston TechnologyComputer hardwarePeripheryGames and game consoles
Привет, GT! Споры о том, что есть «благо» в мире клавиатур не утихают, и правду-то не найти никакими средствами. Ладно субъективные характеристики, о вкусах не спорят и всё такое, но так и «объективщину» ухитряются зацепить так, что модераторы за табельное оружие хватаются.



Игровое подразделение HyperX уже пробовало свои силы в создании хорошей универсальной клавиатуры, настало время для второй попытки. Сегодня подробно изучаем HyperX Alloy Elite  — скелетную «механику» для работы и игр. Погнали!
Читать дальше →
Total votes 19: ↑14 and ↓5 +9
Views10.7K
Comments 26

HyperX Alloy FPS Pro: tenkeyless-дизайн классической механики для любителей качественной периферии

Kingston TechnologyPeriphery
Есть такая поговорка: хорошего человека должно быть много. К хорошим клавиатурам это тоже относится, но далеко не всегда в прямом смысле слова.



Иногда хочется, чтобы хорошей клавиатуры было как можно меньше — и вот компактная механика HyperX Alloy FPS PRO уже здесь. Tenkeyless-дизайн и возможность всегда взять любимицу с собой в комплекте.
Let's roll!
Total votes 10: ↑9 and ↓1 +8
Views5.8K
Comments 11

HyperX Alloy Elite RGB — идеальный симбиоз железа и софта

Kingston TechnologyComputer hardwareSocial networks and communitiesPeripheryGames and game consoles
Привет, GT! Не так давно в обзоре новинок на CES 2018 мы упоминали новую клавиатуру HyperX Alloy Elite RGB и обещали больше подробностей. Настало время выполнять обещания: встречаем обновлённую линейку игровых клавиатур. Вы просили — мы сделали. Теперь с настраиваемой подсветкой, легковесным софтом и полноценными макросами. Детали — под катом.



Читать дальше →
Total votes 12: ↑9 and ↓3 +6
Views7.1K
Comments 64

Ни единого шанса сопернику – берём на вооружение ультраскоростную клавиатуру HyperX Alloy FPS RGB

Kingston TechnologyGadgetsDesktop PC'sPeripheryCybersport
Эта клавиатура заставит вас страдать и испытывать боль — я на полном серьёзе. И да, я не шучу: если у вас проблемы с мелкой моторикой либо если ваш скил — это просто жать на кнопки, чтобы получить какой-то результат НЕ ПОКУПАЙТЕ эту клавиатуру. Молю, если в строках выше вы узнали себя, а мысль о покупке этой клавиатуры не покинула вас, глубоко вдохните и ударьте себя — может, получится выбить эту дурную мысль из головы. А если вы уверены, что можете делать правильные вещи в нужный момент, эта клавиатура сможет вывести вашу игру на новый уровень.

HyperX Alloy FPS RGB – первая игровая клавиатура HyperX с RGB-подсветкой в переключателях, киллер-фичей которой стали как раз переключатели. Вместо классики Cherry MX Speed Silver в Alloy FPS установлены превосходящие их Kailh Silver Speed. На Хабре нет места пустым заявлениям, поэтому приступаем к доказательствам.


Читать дальше →
Total votes 33: ↑21 and ↓12 +9
Views26.5K
Comments 103

Почему люди не используют формальные методы?

ProgrammingMathematics
Translation
На Software Engineering Stack Exchange я увидел такой вопрос: «Что мешает широкому внедрению формальных методов?» Вопрос был закрыт как предвзятый, а большинство ответов представляли собой комментарии типа «Слишком дорого!!!» или «Сайт — это не самолёт!!!» В каком-то смысле это верно, но мало что объясняет. Я написал эту статью, чтобы дать более широкую историческую картину формальных методов (FM), почему они на самом деле не используются и что мы делаем для исправления ситуации.

Прежде чем начать, нужно сформулировать некоторые условия. На самом деле существует не так много формальных методов: всего несколько крошечных групп. Это означает, что разные группы по-разному применяют термины. В широком смысле есть две группы формальных методов: формальная спецификация изучает запись точных, однозначных спецификаций, а формальная проверка — методы доказательства. Сюда входят и код, и абстрактные системы. Мало того, что мы используем разные термины для кода и систем, мы часто используем разные инструменты для их верификации. Чтобы ещё больше всё запутать, если кто-то говорит, что создаёт формальную спецификацию, обычно это означает и верификацию дизайна. А если кто-то говорит, что делает формальную верификацию, обычно это относится к верификации кода.
Читать дальше →
Total votes 35: ↑35 and ↓0 +35
Views11.1K
Comments 18

Инженерный подход к разработке ПО

ЯндексSystem Analysis and DesignDesigning and refactoringDevelopment ManagementDevelopment for Windows

Как проверить идеи, архитектуру и алгоритмы без написания кода? Как сформулировать и проверить их свойства? Что такое model-checkers и model-finders? Требования и спецификации — пережиток прошлого?


Привет. Меня зовут Васил Дядов, сейчас я работаю программистом в Яндексе, до этого работал в Intel, ещё раньше разрабатывал RTL-код (register transfer level) на Verilog/VHDL для ASIC/FPGA. Давно увлекаюсь темой надёжности софта и аппаратуры, математикой, инструментами и методами, применяемыми для разработки ПО и логики с гарантированными, заранее определёнными свойствами.


Это первая моя статья из цикла, призванного привлечь внимание разработчиков и менеджеров к инженерному подходу к разработке ПО. В последнее время он незаслуженно обойдён вниманием, несмотря на революционные изменения в подходе и инструментах поддержки.


Не буду лукавить: основная задача статьи — возбудить интерес. Так что в ней будет минимум пространных рассуждений и максимум конкретики.


Читать дальше →
Total votes 63: ↑61 and ↓2 +59
Views32K
Comments 135

Применение формальных методов валидации моделей для UI

ProgrammingSystem Analysis and Design
Sandbox
Привет, Хабр! Представляю вашему вниманию перевод статьи «FORMALLY SPECIFYING UIS» автора Hillel Wayne.


От автора


Относительно недавно я наткнулся на статью про Инженерные методы в разработке ПО, где vasil-sd рассказал про формальную валидацию спецификаций к создаваемым программным продуктам. В качестве инструментария был использован Alloy. Одним из основных лейтмотивов в комментариях был — разобрать статью в контексте какого-нибудь современного веб проекта, потому что дорого\долго\сложно использовать формальные методы там, где все делают быстро\дешево. Так как автор ссылался на блог Hillel Wayne, где такие примеры были, я решил перевести что-то из его статей в качестве дополнения к основному тексту vasil-sd

Предупреждение:

  • Все, что автор называет finite-state machine, я буду называть конечным автоматом или моделью конечного автомата.
  • Часть терминологии я почерпнул из статьи, ранее мною упомянутой, об инженерном подходе к разработке. Тем не менее, тема для меня относительно новая, потому обоих авторов(как зарубежного, так и не очень) мог понять не так — не ругайтесь.
Читать дальше →
Total votes 21: ↑19 and ↓2 +17
Views3.4K
Comments 3

Язык моделирования Alloy и приключения с параллельными запросами к базе данных

TypeableIT systems testingSystem Analysis and DesignDebugging
Translation

Данная статья описывает небольшой пример того, как использование языка моделирования Alloy может помочь при разработке программного обеспечения.



О качестве программного обеспечения и инструментарии


В Typeable мы придаем огромное значение качеству программного обеспечения и прикладываем все усилия, чтобы обеспечить это качество. В настоящее время мы искореняем ошибки следующими способами:


  1. Анализ и создание спецификаций
  2. Устранение простых ошибок с использованием системы типов Haskell
  3. Стандартные юнит-тесты и интеграционные тесты
  4. Непрерывная интеграция
  5. Обязательные ревью кода
  6. Тестирование на стендах, проводимое QA инженерами
    (мы используем Octopod для оптимизации процесса разработки и QA)
  7. Тестирование в pre-production среде
  8. Ведение логов и контроль ошибок на этапе эксплуатации

Такое большое число шагов обеспечивает высокое качество кода, но при этом сказывается на затратах. Для выполнения этих шагов нужно и время, и труд.

Читать дальше →
Total votes 11: ↑11 and ↓0 +11
Views1.5K
Comments 0